Mercurial > projects > dwt-addons
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;