comparison dwtx/jface/text/DefaultTextHover.d @ 161:f8d52b926852

...
author Frank Benoit <benoit@tionex.de>
date Wed, 27 Aug 2008 14:49:30 +0200
parents f70d9508c95c
children
comparison
equal deleted inserted replaced
160:3678e4f1a766 161:f8d52b926852
178 * Creates a new annotation hover. 178 * Creates a new annotation hover.
179 * 179 *
180 * @param sourceViewer this hover's annotation model 180 * @param sourceViewer this hover's annotation model
181 */ 181 */
182 public this(ISourceViewer sourceViewer) { 182 public this(ISourceViewer sourceViewer) {
183 Assert.isNotNull(sourceViewer); 183 dwtx.core.runtime.Assert.Assert.isNotNull(cast(Object)sourceViewer);
184 fSourceViewer= sourceViewer; 184 fSourceViewer= sourceViewer;
185 } 185 }
186 186
187 /* 187 /*
188 * @see dwtx.jface.text.ITextHover#getHoverInfo(dwtx.jface.text.ITextViewer, dwtx.jface.text.IRegion) 188 * @see dwtx.jface.text.ITextHover#getHoverInfo(dwtx.jface.text.ITextViewer, dwtx.jface.text.IRegion)
236 236
237 private IRegion findWord(IDocument document, int offset) { 237 private IRegion findWord(IDocument document, int offset) {
238 int start= -2; 238 int start= -2;
239 int end= -1; 239 int end= -1;
240 240
241 implMissing(__FILE__,__LINE__);
242 // DWT FIXME: unicode
243 /+
241 try { 244 try {
242
243 int pos= offset; 245 int pos= offset;
244 char c; 246 wchar c;
245 247
246 while (pos >= 0) { 248 while (pos >= 0) {
247 c= document.getChar(pos); 249 c= document.getChar(pos);
248 if (!Character.isUnicodeIdentifierPart(c)) 250 if (!Character.isUnicodeIdentifierPart(c))
249 break; 251 break;
273 else if (start is offset) 275 else if (start is offset)
274 return new Region(start, end - start); 276 return new Region(start, end - start);
275 else 277 else
276 return new Region(start + 1, end - start - 1); 278 return new Region(start + 1, end - start - 1);
277 } 279 }
278 280 +/
279 return null; 281 return null;
280 } 282 }
281 } 283 }