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