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

...
author Frank Benoit <benoit@tionex.de>
date Tue, 26 Aug 2008 02:46:34 +0200
parents f70d9508c95c
children 1a5b8f8129df
comparison
equal deleted inserted replaced
157:7f75eaa8103a 158:25f1f92fa3df
151 import dwtx.jface.text.DocumentRewriteSessionType; // packageimport 151 import dwtx.jface.text.DocumentRewriteSessionType; // packageimport
152 import dwtx.jface.text.TextAttribute; // packageimport 152 import dwtx.jface.text.TextAttribute; // packageimport
153 import dwtx.jface.text.ITextViewerExtension4; // packageimport 153 import dwtx.jface.text.ITextViewerExtension4; // packageimport
154 import dwtx.jface.text.ITypedRegion; // packageimport 154 import dwtx.jface.text.ITypedRegion; // packageimport
155 155
156
157 import dwt.dwthelper.utils; 156 import dwt.dwthelper.utils;
158
159 import dwtx.dwtxhelper.Collection; 157 import dwtx.dwtxhelper.Collection;
160
161 import java.util.NoSuchElementException;
162 158
163 import dwt.DWT; 159 import dwt.DWT;
164 import dwt.custom.StyleRange; 160 import dwt.custom.StyleRange;
165 import dwt.custom.StyledText; 161 import dwt.custom.StyledText;
166 import dwtx.core.runtime.Assert; 162 import dwtx.core.runtime.Assert;