diff dwtx/text/edits/TextEdit.d @ 147:000f9136b8f7

final
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 22:35:05 +0200
parents 26688fec6d23
children 5cf141e43417
line wrap: on
line diff
--- a/dwtx/text/edits/TextEdit.d	Sun Aug 24 22:34:04 2008 +0200
+++ b/dwtx/text/edits/TextEdit.d	Sun Aug 24 22:35:05 2008 +0200
@@ -105,7 +105,7 @@
      * Flags indicating that neither <code>CREATE_UNDO</code> nor
      * <code>UPDATE_REGIONS</code> is set.
      */
-    public static final int NONE= 0;
+    public static const int NONE= 0;
 
     /**
      * Flags indicating that applying an edit tree to a document
@@ -113,7 +113,7 @@
      * specified <code>null</code> is returned from method <code>
      * apply</code>.
      */
-    public static final int CREATE_UNDO= 1 << 0;
+    public static const int CREATE_UNDO= 1 << 0;
 
     /**
      * Flag indicating that the edit's region will be updated to
@@ -122,7 +122,7 @@
      * be arbitrary. It is even not guaranteed that the tree is still
      * well formed.
      */
-    public static final int UPDATE_REGIONS= 1 << 1;
+    public static const int UPDATE_REGIONS= 1 << 1;
 
     private static class InsertionComparator : Comparator {
         public int compare(Object o1, Object o2)  {
@@ -150,10 +150,10 @@
         }
     }
 
-    private static final TextEdit[] EMPTY_ARRAY= new TextEdit[0];
-    private static final InsertionComparator INSERTION_COMPARATOR= new InsertionComparator();
+    private static const TextEdit[] EMPTY_ARRAY= new TextEdit[0];
+    private static const InsertionComparator INSERTION_COMPARATOR= new InsertionComparator();
 
-    private static final int DELETED_VALUE= -1;
+    private static const int DELETED_VALUE= -1;
 
     private int fOffset;
     private int fLength;