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;