comparison dwtx/jface/text/source/SourceViewerConfiguration.d @ 162:1a5b8f8129df

...
author Frank Benoit <benoit@tionex.de>
date Mon, 08 Sep 2008 00:51:37 +0200
parents 25f1f92fa3df
children
comparison
equal deleted inserted replaced
161:f8d52b926852 162:1a5b8f8129df
132 /** 132 /**
133 * Creates a new source viewer configuration that behaves according to 133 * Creates a new source viewer configuration that behaves according to
134 * specification of this class' methods. 134 * specification of this class' methods.
135 */ 135 */
136 public this() { 136 public this() {
137 super(); 137 // super();
138 } 138 }
139 139
140 /** 140 /**
141 * Returns the visual width of the tab character. This implementation always 141 * Returns the visual width of the tab character. This implementation always
142 * returns 4. 142 * returns 4.
301 protected String[] getIndentPrefixesForTab(int tabWidth) { 301 protected String[] getIndentPrefixesForTab(int tabWidth) {
302 String[] indentPrefixes= new String[tabWidth + 2]; 302 String[] indentPrefixes= new String[tabWidth + 2];
303 for (int i= 0; i <= tabWidth; i++) { 303 for (int i= 0; i <= tabWidth; i++) {
304 char[] spaceChars= new char[i]; 304 char[] spaceChars= new char[i];
305 Arrays.fill(spaceChars, ' '); 305 Arrays.fill(spaceChars, ' ');
306 String spaces= new String(spaceChars); 306 String spaces= new_String(spaceChars);
307 if (i < tabWidth) 307 if (i < tabWidth)
308 indentPrefixes[i]= spaces + '\t'; 308 indentPrefixes[i]= spaces ~ '\t';
309 else 309 else
310 indentPrefixes[i]= new String(spaces); 310 indentPrefixes[i]= new_String(spaces);
311 } 311 }
312 indentPrefixes[tabWidth + 1]= ""; //$NON-NLS-1$ 312 indentPrefixes[tabWidth + 1]= ""; //$NON-NLS-1$
313 return indentPrefixes; 313 return indentPrefixes;
314 } 314 }
315 315