diff dwtx/jface/text/TextViewer.d @ 146:75302ef3f92f

final
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 22:34:04 +0200
parents 26688fec6d23
children 000f9136b8f7
line wrap: on
line diff
--- a/dwtx/jface/text/TextViewer.d	Sun Aug 24 22:31:00 2008 +0200
+++ b/dwtx/jface/text/TextViewer.d	Sun Aug 24 22:34:04 2008 +0200
@@ -751,7 +751,7 @@
     class FindReplaceRange : LineBackgroundListener, ITextListener, IPositionUpdater {
 
         /** Internal name for the position category used to update the range. */
-        private final static String RANGE_CATEGORY= "dwtx.jface.text.TextViewer.find.range"; //$NON-NLS-1$
+        private const static String RANGE_CATEGORY= "dwtx.jface.text.TextViewer.find.range"; //$NON-NLS-1$
 
         /** The highlight color of this range. */
         private Color fHighlightColor;
@@ -1650,12 +1650,12 @@
      * The mark position category.
      * @since 2.0
      */
-    private final String MARK_POSITION_CATEGORY="__mark_category_" + hashCode(); //$NON-NLS-1$
+    private const String MARK_POSITION_CATEGORY="__mark_category_" + hashCode(); //$NON-NLS-1$
     /**
      * The mark position updater
      * @since 2.0
      */
-    private final IPositionUpdater fMarkPositionUpdater= new DefaultPositionUpdater(MARK_POSITION_CATEGORY);
+    private const IPositionUpdater fMarkPositionUpdater= new DefaultPositionUpdater(MARK_POSITION_CATEGORY);
     /**
      * The flag indicating the redraw behavior
      * @since 2.0
@@ -1685,7 +1685,7 @@
      * Queued post selection changed events count.
      * @since 3.0
      */
-    private final int[] fNumberOfPostSelectionChangedEvents= new int[1];
+    private const int[] fNumberOfPostSelectionChangedEvents= new int[1];
     /**
      * Last selection range sent to post selection change listeners.
      * @since 3.0