diff dwtx/jface/text/DefaultInformationControl.d @ 147:000f9136b8f7

final
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 22:35:05 +0200
parents 75302ef3f92f
children a9566845f1cb
line wrap: on
line diff
--- a/dwtx/jface/text/DefaultInformationControl.d	Sun Aug 24 22:34:04 2008 +0200
+++ b/dwtx/jface/text/DefaultInformationControl.d	Sun Aug 24 22:35:05 2008 +0200
@@ -251,7 +251,7 @@
      * Inner border thickness in pixels.
      * @since 3.1
      */
-    private static final int INNER_BORDER= 1;
+    private static const int INNER_BORDER= 1;
 
     /** The control's text widget */
     private StyledText fText;