--- a/dwtx/jface/text/TextViewer.d	Sun Aug 24 22:34:04 2008 +0200
+++ b/dwtx/jface/text/TextViewer.d	Sun Aug 24 22:35:05 2008 +0200
@@ -249,20 +249,20 @@
                     IWidgetTokenOwner, IWidgetTokenOwnerExtension, IPostSelectionProvider {
 
     /** Internal flag to indicate the debug state. */
-    public static final bool TRACE_ERRORS= false;
+    public static const bool TRACE_ERRORS= false;
     /** Internal flag to indicate the debug state. */
-    private static final bool TRACE_DOUBLE_CLICK= false;
+    private static const bool TRACE_DOUBLE_CLICK= false;
 
     /**
      * Width constraint for text hovers (in characters).
      * @since 3.4
      */
-    private static final int TEXT_HOVER_WIDTH_CHARS= 100; //used to be 60 (text font)
+    private static const int TEXT_HOVER_WIDTH_CHARS= 100; //used to be 60 (text font)
     /**
      * Height constraint for text hovers (in characters).
      * @since 3.4
      */
-    private static final int TEXT_HOVER_HEIGHT_CHARS= 12; //used to be 10 (text font)
+    private static const int TEXT_HOVER_HEIGHT_CHARS= 12; //used to be 10 (text font)
 
     /**
      * Represents a replace command that brings the text viewer's text widget
@@ -1597,7 +1597,7 @@
      * Base position category name used by the selection updater
      * @since 3.1
      */
-    private static final String SELECTION_POSITION_CATEGORY= "_textviewer_selection_category"; //$NON-NLS-1$
+    private static const String SELECTION_POSITION_CATEGORY= "_textviewer_selection_category"; //$NON-NLS-1$
     /** The viewer's text widget */
     private StyledText fTextWidget;
     /** The viewer's input document */