comparison dwtx/jface/text/WhitespaceCharacterPainter.d @ 147:000f9136b8f7

final
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 22:35:05 +0200
parents 26688fec6d23
children 1a5b8f8129df
comparison
equal deleted inserted replaced
146:75302ef3f92f 147:000f9136b8f7
175 * 175 *
176 * @since 3.3 176 * @since 3.3
177 */ 177 */
178 public class WhitespaceCharacterPainter : IPainter, PaintListener { 178 public class WhitespaceCharacterPainter : IPainter, PaintListener {
179 179
180 private static final char SPACE_SIGN= '\u00b7'; 180 private static const char SPACE_SIGN= '\u00b7';
181 private static final char IDEOGRAPHIC_SPACE_SIGN= '\u00b0'; 181 private static const char IDEOGRAPHIC_SPACE_SIGN= '\u00b0';
182 private static final char TAB_SIGN= '\u00bb'; 182 private static const char TAB_SIGN= '\u00bb';
183 private static final char CARRIAGE_RETURN_SIGN= '\u00a4'; 183 private static const char CARRIAGE_RETURN_SIGN= '\u00a4';
184 private static final char LINE_FEED_SIGN= '\u00b6'; 184 private static const char LINE_FEED_SIGN= '\u00b6';
185 185
186 /** Indicates whether this painter is active. */ 186 /** Indicates whether this painter is active. */
187 private bool fIsActive= false; 187 private bool fIsActive= false;
188 /** The source viewer this painter is attached to. */ 188 /** The source viewer this painter is attached to. */
189 private ITextViewer fTextViewer; 189 private ITextViewer fTextViewer;