Mercurial > projects > dwt-addons
comparison dwtx/text/undo/DocumentUndoEvent.d @ 161:f8d52b926852
...
author | Frank Benoit <benoit@tionex.de> |
---|---|
date | Wed, 27 Aug 2008 14:49:30 +0200 |
parents | 7926b636c282 |
children |
comparison
equal
deleted
inserted
replaced
160:3678e4f1a766 | 161:f8d52b926852 |
---|---|
96 * @param eventType a bit mask describing the type(s) of event | 96 * @param eventType a bit mask describing the type(s) of event |
97 * @param source the source that triggered this event or <code>null</code> if unknown | 97 * @param source the source that triggered this event or <code>null</code> if unknown |
98 */ | 98 */ |
99 this(IDocument doc, int offset, String text, String preservedText, int eventType, Object source) { | 99 this(IDocument doc, int offset, String text, String preservedText, int eventType, Object source) { |
100 | 100 |
101 Assert.isNotNull(doc); | 101 Assert.isNotNull(cast(Object)doc); |
102 Assert.isTrue(offset >= 0); | 102 Assert.isTrue(offset >= 0); |
103 | 103 |
104 fDocument= doc; | 104 fDocument= doc; |
105 fOffset= offset; | 105 fOffset= offset; |
106 fText= text; | 106 fText= text; |