diff dwtx/text/undo/DocumentUndoManagerRegistry.d @ 134:51e6e63f930e

Regex fix for casts
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 01:46:20 +0200
parents 7d818bd32d63
children f70d9508c95c
line wrap: on
line diff
--- a/dwtx/text/undo/DocumentUndoManagerRegistry.d	Sun Aug 24 01:29:22 2008 +0200
+++ b/dwtx/text/undo/DocumentUndoManagerRegistry.d	Sun Aug 24 01:46:20 2008 +0200
@@ -72,7 +72,7 @@
      */
     public static synchronized void connect(IDocument document) {
         Assert.isNotNull(document);
-        Record record= (Record)fgFactory.get(document);
+        Record record= cast(Record)fgFactory.get(document);
         if (record is null) {
             record= new Record(document);
             fgFactory.put(document, record);
@@ -87,7 +87,7 @@
      */
     public static synchronized void disconnect(IDocument document) {
         Assert.isNotNull(document);
-        Record record= (Record)fgFactory.get(document);
+        Record record= cast(Record)fgFactory.get(document);
         record.count--;
         if (record.count is 0)
             fgFactory.remove(document);
@@ -109,7 +109,7 @@
      */
     public static synchronized IDocumentUndoManager getDocumentUndoManager(IDocument document) {
         Assert.isNotNull(document);
-        Record record= (Record)fgFactory.get(document);
+        Record record= cast(Record)fgFactory.get(document);
         if (record is null)
             return null;
         return record.undoManager;