Mercurial > projects > dwt-addons

comparison dwtx/jface/text/TextViewerHoverManager.d @ 135:65801ad2b265

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Regex fix for anon classes
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 01:52:31 +0200
parents 51e6e63f930e
children b6bad70d540a
comparison
equal deleted inserted replaced
134:51e6e63f930e 135:65801ad2b265
228 * @param creator the information control creator 228 * @param creator the information control creator
229 */ 229 */
230 public this(TextViewer textViewer, IInformationControlCreator creator) { 230 public this(TextViewer textViewer, IInformationControlCreator creator) {
231 super(creator); 231 super(creator);
232 fTextViewer= textViewer; 232 fTextViewer= textViewer;
233 fStopper= new ITextListener() { 233 fStopper= new class() ITextListener {
234 public void textChanged(TextEvent event) { 234 public void textChanged(TextEvent event) {
235 synchronized (fMutex) { 235 synchronized (fMutex) {
236 if (fThread !is null) { 236 if (fThread !is null) {
237 fThread.interrupt(); 237 fThread.interrupt();
238 fThread= null; 238 fThread= null;
239 } 239 }
240 } 240 }
241 } 241 }
242 }; 242 };
243 fViewportListener= new IViewportListener() { 243 fViewportListener= new class() IViewportListener {
244 /* 244 /*
245 * @see dwtx.jface.text.IViewportListener#viewportChanged(int) 245 * @see dwtx.jface.text.IViewportListener#viewportChanged(int)
246 */ 246 */
247 public void viewportChanged(int verticalOffset) { 247 public void viewportChanged(int verticalOffset) {
248 fProcessMouseHoverEvent= false; 248 fProcessMouseHoverEvent= false;
249 } 249 }
250 }; 250 };
251 fTextViewer.addViewportListener(fViewportListener); 251 fTextViewer.addViewportListener(fViewportListener);
252 fMouseMoveListener= new MouseMoveListener() { 252 fMouseMoveListener= new class() MouseMoveListener {
253 /* 253 /*
254 * @see MouseMoveListener#mouseMove(MouseEvent) 254 * @see MouseMoveListener#mouseMove(MouseEvent)
255 */ 255 */
256 public void mouseMove(MouseEvent event) { 256 public void mouseMove(MouseEvent event) {
257 fProcessMouseHoverEvent= true; 257 fProcessMouseHoverEvent= true;
373 if (textWidget !is null && !textWidget.isDisposed()) { 373 if (textWidget !is null && !textWidget.isDisposed()) {
374 Display display= textWidget.getDisplay(); 374 Display display= textWidget.getDisplay();
375 if (display is null) 375 if (display is null)
376 return; 376 return;
377 377
378 display.asyncExec(new Runnable() { 378 display.asyncExec(new class() Runnable {
379 public void run() { 379 public void run() {
380 doPresentInformation(); 380 doPresentInformation();
381 } 381 }
382 }); 382 });
383 } 383 }