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

final
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 22:34:04 +0200
parents 51e6e63f930e
children f70d9508c95c
line wrap: on
line diff
--- a/dwtx/jface/text/DocumentPartitioningChangedEvent.d	Sun Aug 24 22:31:00 2008 +0200
+++ b/dwtx/jface/text/DocumentPartitioningChangedEvent.d	Sun Aug 24 22:34:04 2008 +0200
@@ -171,9 +171,9 @@
 public class DocumentPartitioningChangedEvent {
 
     /** The document whose partitionings changed */
-    private final IDocument fDocument;
+    private const IDocument fDocument;
     /** The map of partitionings to changed regions. */
-    private final Map fMap= new HashMap();
+    private const Map fMap= new HashMap();
 
 
     /**