comparison dwtx/jface/text/DocumentCommand.d @ 158:25f1f92fa3df

...
author Frank Benoit <benoit@tionex.de>
date Tue, 26 Aug 2008 02:46:34 +0200
parents a9566845f1cb
children 7926b636c282
comparison
equal deleted inserted replaced
157:7f75eaa8103a 158:25f1f92fa3df
154 import dwtx.jface.text.TextAttribute; // packageimport 154 import dwtx.jface.text.TextAttribute; // packageimport
155 import dwtx.jface.text.ITextViewerExtension4; // packageimport 155 import dwtx.jface.text.ITextViewerExtension4; // packageimport
156 import dwtx.jface.text.ITypedRegion; // packageimport 156 import dwtx.jface.text.ITypedRegion; // packageimport
157 157
158 import dwt.dwthelper.utils; 158 import dwt.dwthelper.utils;
159
160
161 import dwtx.dwtxhelper.Collection; 159 import dwtx.dwtxhelper.Collection;
162
163
164
165
166 import java.util.NoSuchElementException;
167 160
168 import dwt.events.VerifyEvent; 161 import dwt.events.VerifyEvent;
169 import dwtx.core.runtime.Assert; 162 import dwtx.core.runtime.Assert;
170 163
171 164