Mercurial > projects > dwt-addons

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

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Regex fix for casts
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 01:46:20 +0200
parents 7d818bd32d63
children f70d9508c95c
comparison
equal deleted inserted replaced
133:7d818bd32d63 134:51e6e63f930e
70 * 70 *
71 * @param document the document to be connected 71 * @param document the document to be connected
72 */ 72 */
73 public static synchronized void connect(IDocument document) { 73 public static synchronized void connect(IDocument document) {
74 Assert.isNotNull(document); 74 Assert.isNotNull(document);
75 Record record= (Record)fgFactory.get(document); 75 Record record= cast(Record)fgFactory.get(document);
76 if (record is null) { 76 if (record is null) {
77 record= new Record(document); 77 record= new Record(document);
78 fgFactory.put(document, record); 78 fgFactory.put(document, record);
79 } 79 }
80 record.count++; 80 record.count++;
85 * 85 *
86 * @param document the document to be disconnected 86 * @param document the document to be disconnected
87 */ 87 */
88 public static synchronized void disconnect(IDocument document) { 88 public static synchronized void disconnect(IDocument document) {
89 Assert.isNotNull(document); 89 Assert.isNotNull(document);
90 Record record= (Record)fgFactory.get(document); 90 Record record= cast(Record)fgFactory.get(document);
91 record.count--; 91 record.count--;
92 if (record.count is 0) 92 if (record.count is 0)
93 fgFactory.remove(document); 93 fgFactory.remove(document);
94 94
95 } 95 }
107 * @param document the document for which to get its undo manager 107 * @param document the document for which to get its undo manager
108 * @return the document undo manager or <code>null</code> 108 * @return the document undo manager or <code>null</code>
109 */ 109 */
110 public static synchronized IDocumentUndoManager getDocumentUndoManager(IDocument document) { 110 public static synchronized IDocumentUndoManager getDocumentUndoManager(IDocument document) {
111 Assert.isNotNull(document); 111 Assert.isNotNull(document);
112 Record record= (Record)fgFactory.get(document); 112 Record record= cast(Record)fgFactory.get(document);
113 if (record is null) 113 if (record is null)
114 return null; 114 return null;
115 return record.undoManager; 115 return record.undoManager;
116 } 116 }
117 117