Mercurial > projects > dwt-addons
comparison dwtx/jface/text/source/CompositeRuler.d @ 145:02cd5f1224d3
...
author | Frank Benoit <benoit@tionex.de> |
---|---|
date | Sun, 24 Aug 2008 22:31:00 +0200 |
parents | 893c017bcdc5 |
children | f70d9508c95c |
comparison
equal
deleted
inserted
replaced
144:16a71f577815 | 145:02cd5f1224d3 |
---|---|
238 * @param clazz the listener type | 238 * @param clazz the listener type |
239 * @param control the control to add the listener to | 239 * @param control the control to add the listener to |
240 * @param listener the listener to be added | 240 * @param listener the listener to be added |
241 */ | 241 */ |
242 private void addListener(Class clazz, Control control, EventListener listener) { | 242 private void addListener(Class clazz, Control control, EventListener listener) { |
243 if (ControlListener.class.equals(clazz)) { | 243 if (ControlListener.classinfo.opEquals(clazz)) { |
244 control. addControlListener(cast(ControlListener) listener); | 244 control. addControlListener(cast(ControlListener) listener); |
245 return; | 245 return; |
246 } | 246 } |
247 if (FocusListener.class.equals(clazz)) { | 247 if (FocusListener.classinfo.opEquals(clazz)) { |
248 control. addFocusListener(cast(FocusListener) listener); | 248 control. addFocusListener(cast(FocusListener) listener); |
249 return; | 249 return; |
250 } | 250 } |
251 if (HelpListener.class.equals(clazz)) { | 251 if (HelpListener.classinfo.opEquals(clazz)) { |
252 control. addHelpListener(cast(HelpListener) listener); | 252 control. addHelpListener(cast(HelpListener) listener); |
253 return; | 253 return; |
254 } | 254 } |
255 if (KeyListener.class.equals(clazz)) { | 255 if (KeyListener.classinfo.opEquals(clazz)) { |
256 control. addKeyListener(cast(KeyListener) listener); | 256 control. addKeyListener(cast(KeyListener) listener); |
257 return; | 257 return; |
258 } | 258 } |
259 if (MouseListener.class.equals(clazz)) { | 259 if (MouseListener.classinfo.opEquals(clazz)) { |
260 control. addMouseListener(cast(MouseListener) listener); | 260 control. addMouseListener(cast(MouseListener) listener); |
261 return; | 261 return; |
262 } | 262 } |
263 if (MouseMoveListener.class.equals(clazz)) { | 263 if (MouseMoveListener.classinfo.opEquals(clazz)) { |
264 control. addMouseMoveListener(cast(MouseMoveListener) listener); | 264 control. addMouseMoveListener(cast(MouseMoveListener) listener); |
265 return; | 265 return; |
266 } | 266 } |
267 if (MouseTrackListener.class.equals(clazz)) { | 267 if (MouseTrackListener.classinfo.opEquals(clazz)) { |
268 control. addMouseTrackListener(cast(MouseTrackListener) listener); | 268 control. addMouseTrackListener(cast(MouseTrackListener) listener); |
269 return; | 269 return; |
270 } | 270 } |
271 if (PaintListener.class.equals(clazz)) { | 271 if (PaintListener.classinfo.opEquals(clazz)) { |
272 control. addPaintListener(cast(PaintListener) listener); | 272 control. addPaintListener(cast(PaintListener) listener); |
273 return; | 273 return; |
274 } | 274 } |
275 if (TraverseListener.class.equals(clazz)) { | 275 if (TraverseListener.classinfo.opEquals(clazz)) { |
276 control. addTraverseListener(cast(TraverseListener) listener); | 276 control. addTraverseListener(cast(TraverseListener) listener); |
277 return; | 277 return; |
278 } | 278 } |
279 if (DisposeListener.class.equals(clazz)) { | 279 if (DisposeListener.classinfo.opEquals(clazz)) { |
280 control. addDisposeListener(cast(DisposeListener) listener); | 280 control. addDisposeListener(cast(DisposeListener) listener); |
281 return; | 281 return; |
282 } | 282 } |
283 } | 283 } |
284 | 284 |
289 * @param clazz the listener type | 289 * @param clazz the listener type |
290 * @param control the control to remove the listener from | 290 * @param control the control to remove the listener from |
291 * @param listener the listener to be removed | 291 * @param listener the listener to be removed |
292 */ | 292 */ |
293 private void removeListener(Class clazz, Control control, EventListener listener) { | 293 private void removeListener(Class clazz, Control control, EventListener listener) { |
294 if (ControlListener.class.equals(clazz)) { | 294 if (ControlListener.classinfo.opEquals(clazz)) { |
295 control. removeControlListener(cast(ControlListener) listener); | 295 control. removeControlListener(cast(ControlListener) listener); |
296 return; | 296 return; |
297 } | 297 } |
298 if (FocusListener.class.equals(clazz)) { | 298 if (FocusListener.classinfo.opEquals(clazz)) { |
299 control. removeFocusListener(cast(FocusListener) listener); | 299 control. removeFocusListener(cast(FocusListener) listener); |
300 return; | 300 return; |
301 } | 301 } |
302 if (HelpListener.class.equals(clazz)) { | 302 if (HelpListener.classinfo.opEquals(clazz)) { |
303 control. removeHelpListener(cast(HelpListener) listener); | 303 control. removeHelpListener(cast(HelpListener) listener); |
304 return; | 304 return; |
305 } | 305 } |
306 if (KeyListener.class.equals(clazz)) { | 306 if (KeyListener.classinfo.opEquals(clazz)) { |
307 control. removeKeyListener(cast(KeyListener) listener); | 307 control. removeKeyListener(cast(KeyListener) listener); |
308 return; | 308 return; |
309 } | 309 } |
310 if (MouseListener.class.equals(clazz)) { | 310 if (MouseListener.classinfo.opEquals(clazz)) { |
311 control. removeMouseListener(cast(MouseListener) listener); | 311 control. removeMouseListener(cast(MouseListener) listener); |
312 return; | 312 return; |
313 } | 313 } |
314 if (MouseMoveListener.class.equals(clazz)) { | 314 if (MouseMoveListener.classinfo.opEquals(clazz)) { |
315 control. removeMouseMoveListener(cast(MouseMoveListener) listener); | 315 control. removeMouseMoveListener(cast(MouseMoveListener) listener); |
316 return; | 316 return; |
317 } | 317 } |
318 if (MouseTrackListener.class.equals(clazz)) { | 318 if (MouseTrackListener.classinfo.opEquals(clazz)) { |
319 control. removeMouseTrackListener(cast(MouseTrackListener) listener); | 319 control. removeMouseTrackListener(cast(MouseTrackListener) listener); |
320 return; | 320 return; |
321 } | 321 } |
322 if (PaintListener.class.equals(clazz)) { | 322 if (PaintListener.classinfo.opEquals(clazz)) { |
323 control. removePaintListener(cast(PaintListener) listener); | 323 control. removePaintListener(cast(PaintListener) listener); |
324 return; | 324 return; |
325 } | 325 } |
326 if (TraverseListener.class.equals(clazz)) { | 326 if (TraverseListener.classinfo.opEquals(clazz)) { |
327 control. removeTraverseListener(cast(TraverseListener) listener); | 327 control. removeTraverseListener(cast(TraverseListener) listener); |
328 return; | 328 return; |
329 } | 329 } |
330 if (DisposeListener.class.equals(clazz)) { | 330 if (DisposeListener.classinfo.opEquals(clazz)) { |
331 control. removeDisposeListener(cast(DisposeListener) listener); | 331 control. removeDisposeListener(cast(DisposeListener) listener); |
332 return; | 332 return; |
333 } | 333 } |
334 } | 334 } |
335 | 335 |
411 | 411 |
412 /* | 412 /* |
413 * @see Control#removeControlListener(ControlListener) | 413 * @see Control#removeControlListener(ControlListener) |
414 */ | 414 */ |
415 public void removeControlListener(ControlListener listener) { | 415 public void removeControlListener(ControlListener listener) { |
416 removeListener(ControlListener.class, listener); | 416 removeListener(ControlListener.classinfo, listener); |
417 super.removeControlListener(listener); | 417 super.removeControlListener(listener); |
418 } | 418 } |
419 | 419 |
420 /* | 420 /* |
421 * @see Control#removeFocusListener(FocusListener) | 421 * @see Control#removeFocusListener(FocusListener) |
422 */ | 422 */ |
423 public void removeFocusListener(FocusListener listener) { | 423 public void removeFocusListener(FocusListener listener) { |
424 removeListener(FocusListener.class, listener); | 424 removeListener(FocusListener.classinfo, listener); |
425 super.removeFocusListener(listener); | 425 super.removeFocusListener(listener); |
426 } | 426 } |
427 | 427 |
428 /* | 428 /* |
429 * @see Control#removeHelpListener(HelpListener) | 429 * @see Control#removeHelpListener(HelpListener) |
430 */ | 430 */ |
431 public void removeHelpListener(HelpListener listener) { | 431 public void removeHelpListener(HelpListener listener) { |
432 removeListener(HelpListener.class, listener); | 432 removeListener(HelpListener.classinfo, listener); |
433 super.removeHelpListener(listener); | 433 super.removeHelpListener(listener); |
434 } | 434 } |
435 | 435 |
436 /* | 436 /* |
437 * @see Control#removeKeyListener(KeyListener) | 437 * @see Control#removeKeyListener(KeyListener) |
438 */ | 438 */ |
439 public void removeKeyListener(KeyListener listener) { | 439 public void removeKeyListener(KeyListener listener) { |
440 removeListener(KeyListener.class, listener); | 440 removeListener(KeyListener.classinfo, listener); |
441 super.removeKeyListener(listener); | 441 super.removeKeyListener(listener); |
442 } | 442 } |
443 | 443 |
444 /* | 444 /* |
445 * @see Control#removeMouseListener(MouseListener) | 445 * @see Control#removeMouseListener(MouseListener) |
446 */ | 446 */ |
447 public void removeMouseListener(MouseListener listener) { | 447 public void removeMouseListener(MouseListener listener) { |
448 removeListener(MouseListener.class, listener); | 448 removeListener(MouseListener.classinfo, listener); |
449 super.removeMouseListener(listener); | 449 super.removeMouseListener(listener); |
450 } | 450 } |
451 | 451 |
452 /* | 452 /* |
453 * @see Control#removeMouseMoveListener(MouseMoveListener) | 453 * @see Control#removeMouseMoveListener(MouseMoveListener) |
454 */ | 454 */ |
455 public void removeMouseMoveListener(MouseMoveListener listener) { | 455 public void removeMouseMoveListener(MouseMoveListener listener) { |
456 removeListener(MouseMoveListener.class, listener); | 456 removeListener(MouseMoveListener.classinfo, listener); |
457 super.removeMouseMoveListener(listener); | 457 super.removeMouseMoveListener(listener); |
458 } | 458 } |
459 | 459 |
460 /* | 460 /* |
461 * @see Control#removeMouseTrackListener(MouseTrackListener) | 461 * @see Control#removeMouseTrackListener(MouseTrackListener) |
462 */ | 462 */ |
463 public void removeMouseTrackListener(MouseTrackListener listener) { | 463 public void removeMouseTrackListener(MouseTrackListener listener) { |
464 removeListener(MouseTrackListener.class, listener); | 464 removeListener(MouseTrackListener.classinfo, listener); |
465 super.removeMouseTrackListener(listener); | 465 super.removeMouseTrackListener(listener); |
466 } | 466 } |
467 | 467 |
468 /* | 468 /* |
469 * @see Control#removePaintListener(PaintListener) | 469 * @see Control#removePaintListener(PaintListener) |
470 */ | 470 */ |
471 public void removePaintListener(PaintListener listener) { | 471 public void removePaintListener(PaintListener listener) { |
472 removeListener(PaintListener.class, listener); | 472 removeListener(PaintListener.classinfo, listener); |
473 super.removePaintListener(listener); | 473 super.removePaintListener(listener); |
474 } | 474 } |
475 | 475 |
476 /* | 476 /* |
477 * @see Control#removeTraverseListener(TraverseListener) | 477 * @see Control#removeTraverseListener(TraverseListener) |
478 */ | 478 */ |
479 public void removeTraverseListener(TraverseListener listener) { | 479 public void removeTraverseListener(TraverseListener listener) { |
480 removeListener(TraverseListener.class, listener); | 480 removeListener(TraverseListener.classinfo, listener); |
481 super.removeTraverseListener(listener); | 481 super.removeTraverseListener(listener); |
482 } | 482 } |
483 | 483 |
484 /* | 484 /* |
485 * @see Widget#removeDisposeListener(DisposeListener) | 485 * @see Widget#removeDisposeListener(DisposeListener) |
486 */ | 486 */ |
487 public void removeDisposeListener(DisposeListener listener) { | 487 public void removeDisposeListener(DisposeListener listener) { |
488 removeListener(DisposeListener.class, listener); | 488 removeListener(DisposeListener.classinfo, listener); |
489 super.removeDisposeListener(listener); | 489 super.removeDisposeListener(listener); |
490 } | 490 } |
491 | 491 |
492 /* | 492 /* |
493 * @seeControl#addControlListener(ControlListener) | 493 * @seeControl#addControlListener(ControlListener) |
494 */ | 494 */ |
495 public void addControlListener(ControlListener listener) { | 495 public void addControlListener(ControlListener listener) { |
496 super.addControlListener(listener); | 496 super.addControlListener(listener); |
497 addListener(ControlListener.class, listener); | 497 addListener(ControlListener.classinfo, listener); |
498 } | 498 } |
499 | 499 |
500 /* | 500 /* |
501 * @see Control#addFocusListener(FocusListener) | 501 * @see Control#addFocusListener(FocusListener) |
502 */ | 502 */ |
503 public void addFocusListener(FocusListener listener) { | 503 public void addFocusListener(FocusListener listener) { |
504 super.addFocusListener(listener); | 504 super.addFocusListener(listener); |
505 addListener(FocusListener.class, listener); | 505 addListener(FocusListener.classinfo, listener); |
506 } | 506 } |
507 | 507 |
508 /* | 508 /* |
509 * @see Control#addHelpListener(HelpListener) | 509 * @see Control#addHelpListener(HelpListener) |
510 */ | 510 */ |
511 public void addHelpListener(HelpListener listener) { | 511 public void addHelpListener(HelpListener listener) { |
512 super.addHelpListener(listener); | 512 super.addHelpListener(listener); |
513 addListener(HelpListener.class, listener); | 513 addListener(HelpListener.classinfo, listener); |
514 } | 514 } |
515 | 515 |
516 /* | 516 /* |
517 * @see Control#addKeyListener(KeyListener) | 517 * @see Control#addKeyListener(KeyListener) |
518 */ | 518 */ |
519 public void addKeyListener(KeyListener listener) { | 519 public void addKeyListener(KeyListener listener) { |
520 super.addKeyListener(listener); | 520 super.addKeyListener(listener); |
521 addListener(KeyListener.class, listener); | 521 addListener(KeyListener.classinfo, listener); |
522 } | 522 } |
523 | 523 |
524 /* | 524 /* |
525 * @see Control#addMouseListener(MouseListener) | 525 * @see Control#addMouseListener(MouseListener) |
526 */ | 526 */ |
527 public void addMouseListener(MouseListener listener) { | 527 public void addMouseListener(MouseListener listener) { |
528 super.addMouseListener(listener); | 528 super.addMouseListener(listener); |
529 addListener(MouseListener.class, listener); | 529 addListener(MouseListener.classinfo, listener); |
530 } | 530 } |
531 | 531 |
532 /* | 532 /* |
533 * @see Control#addMouseMoveListener(MouseMoveListener) | 533 * @see Control#addMouseMoveListener(MouseMoveListener) |
534 */ | 534 */ |
535 public void addMouseMoveListener(MouseMoveListener listener) { | 535 public void addMouseMoveListener(MouseMoveListener listener) { |
536 super.addMouseMoveListener(listener); | 536 super.addMouseMoveListener(listener); |
537 addListener(MouseMoveListener.class, listener); | 537 addListener(MouseMoveListener.classinfo, listener); |
538 } | 538 } |
539 | 539 |
540 /* | 540 /* |
541 * @see Control#addMouseTrackListener(MouseTrackListener) | 541 * @see Control#addMouseTrackListener(MouseTrackListener) |
542 */ | 542 */ |
543 public void addMouseTrackListener(MouseTrackListener listener) { | 543 public void addMouseTrackListener(MouseTrackListener listener) { |
544 super.addMouseTrackListener(listener); | 544 super.addMouseTrackListener(listener); |
545 addListener(MouseTrackListener.class, listener); | 545 addListener(MouseTrackListener.classinfo, listener); |
546 } | 546 } |
547 | 547 |
548 /* | 548 /* |
549 * @seeControl#addPaintListener(PaintListener) | 549 * @seeControl#addPaintListener(PaintListener) |
550 */ | 550 */ |
551 public void addPaintListener(PaintListener listener) { | 551 public void addPaintListener(PaintListener listener) { |
552 super.addPaintListener(listener); | 552 super.addPaintListener(listener); |
553 addListener(PaintListener.class, listener); | 553 addListener(PaintListener.classinfo, listener); |
554 } | 554 } |
555 | 555 |
556 /* | 556 /* |
557 * @see Control#addTraverseListener(TraverseListener) | 557 * @see Control#addTraverseListener(TraverseListener) |
558 */ | 558 */ |
559 public void addTraverseListener(TraverseListener listener) { | 559 public void addTraverseListener(TraverseListener listener) { |
560 super.addTraverseListener(listener); | 560 super.addTraverseListener(listener); |
561 addListener(TraverseListener.class, listener); | 561 addListener(TraverseListener.classinfo, listener); |
562 } | 562 } |
563 | 563 |
564 /* | 564 /* |
565 * @see Widget#addDisposeListener(DisposeListener) | 565 * @see Widget#addDisposeListener(DisposeListener) |
566 */ | 566 */ |
567 public void addDisposeListener(DisposeListener listener) { | 567 public void addDisposeListener(DisposeListener listener) { |
568 super.addDisposeListener(listener); | 568 super.addDisposeListener(listener); |
569 addListener(DisposeListener.class, listener); | 569 addListener(DisposeListener.classinfo, listener); |
570 } | 570 } |
571 } | 571 } |
572 | 572 |
573 /** The ruler's viewer */ | 573 /** The ruler's viewer */ |
574 private ITextViewer fTextViewer; | 574 private ITextViewer fTextViewer; |
735 } | 735 } |
736 }); | 736 }); |
737 } | 737 } |
738 } | 738 } |
739 } | 739 } |
740 | 740 |
741 /** | 741 /** |
742 * Immediately redraws the entire ruler (without asynchronous posting). | 742 * Immediately redraws the entire ruler (without asynchronous posting). |
743 * | 743 * |
744 * @since 3.2 | 744 * @since 3.2 |
745 */ | 745 */ |
746 public void immediateUpdate() { | 746 public void immediateUpdate() { |
747 Iterator e= fDecorators.iterator(); | 747 Iterator e= fDecorators.iterator(); |
748 while (e.hasNext()) { | 748 while (e.hasNext()) { |
793 if (fTextViewer is null || y_coordinate is -1) | 793 if (fTextViewer is null || y_coordinate is -1) |
794 return -1; | 794 return -1; |
795 | 795 |
796 StyledText text= fTextViewer.getTextWidget(); | 796 StyledText text= fTextViewer.getTextWidget(); |
797 int line= text.getLineIndex(y_coordinate); | 797 int line= text.getLineIndex(y_coordinate); |
798 | 798 |
799 if (line is text.getLineCount() - 1) { | 799 if (line is text.getLineCount() - 1) { |
800 // check whether y_coordinate exceeds last line | 800 // check whether y_coordinate exceeds last line |
801 if (y_coordinate > text.getLinePixel(line + 1)) | 801 if (y_coordinate > text.getLinePixel(line + 1)) |
802 return -1; | 802 return -1; |
803 } | 803 } |
804 | 804 |
805 return widgetLine2ModelLine(fTextViewer, line); | 805 return widgetLine2ModelLine(fTextViewer, line); |
806 } | 806 } |
807 | 807 |
808 /** | 808 /** |
809 * Returns the line in the given viewer's document that correspond to the given | 809 * Returns the line in the given viewer's document that correspond to the given |