diff 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
line wrap: on
line diff
--- a/dwtx/jface/text/WhitespaceCharacterPainter.d	Sun Aug 24 22:34:04 2008 +0200
+++ b/dwtx/jface/text/WhitespaceCharacterPainter.d	Sun Aug 24 22:35:05 2008 +0200
@@ -177,11 +177,11 @@
  */
 public class WhitespaceCharacterPainter : IPainter, PaintListener {
 
-    private static final char SPACE_SIGN= '\u00b7';
-    private static final char IDEOGRAPHIC_SPACE_SIGN= '\u00b0';
-    private static final char TAB_SIGN= '\u00bb';
-    private static final char CARRIAGE_RETURN_SIGN= '\u00a4';
-    private static final char LINE_FEED_SIGN= '\u00b6';
+    private static const char SPACE_SIGN= '\u00b7';
+    private static const char IDEOGRAPHIC_SPACE_SIGN= '\u00b0';
+    private static const char TAB_SIGN= '\u00bb';
+    private static const char CARRIAGE_RETURN_SIGN= '\u00a4';
+    private static const char LINE_FEED_SIGN= '\u00b6';
     
     /** Indicates whether this painter is active. */
     private bool fIsActive= false;