comparison dwtx/jface/text/hyperlink/MultipleHyperlinkPresenter.d @ 134:51e6e63f930e

Regex fix for casts
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 01:46:20 +0200
parents 7d818bd32d63
children 65801ad2b265
comparison
equal deleted inserted replaced
133:7d818bd32d63 134:51e6e63f930e
114 private static final class LinkLabelProvider : ColumnLabelProvider { 114 private static final class LinkLabelProvider : ColumnLabelProvider {
115 /* 115 /*
116 * @see dwtx.jface.viewers.ColumnLabelProvider#getText(java.lang.Object) 116 * @see dwtx.jface.viewers.ColumnLabelProvider#getText(java.lang.Object)
117 */ 117 */
118 public String getText(Object element) { 118 public String getText(Object element) {
119 IHyperlink link= (IHyperlink)element; 119 IHyperlink link= cast(IHyperlink)element;
120 String text= link.getHyperlinkText(); 120 String text= link.getHyperlinkText();
121 if (text !is null) 121 if (text !is null)
122 return text; 122 return text;
123 return HyperlinkMessages.getString("LinkListInformationControl.unknownLink"); //$NON-NLS-1$ 123 return HyperlinkMessages.getString("LinkListInformationControl.unknownLink"); //$NON-NLS-1$
124 } 124 }
252 252
253 public void mouseMove(MouseEvent e) { 253 public void mouseMove(MouseEvent e) {
254 if (fTable.equals(e.getSource())) { 254 if (fTable.equals(e.getSource())) {
255 Object o= fTable.getItem(new Point(e.x, e.y)); 255 Object o= fTable.getItem(new Point(e.x, e.y));
256 if (o instanceof TableItem) { 256 if (o instanceof TableItem) {
257 TableItem item= (TableItem) o; 257 TableItem item= cast(TableItem) o;
258 if (!o.equals(fLastItem)) { 258 if (!o.equals(fLastItem)) {
259 fLastItem= (TableItem) o; 259 fLastItem= cast(TableItem) o;
260 fTable.setSelection(new TableItem[] { fLastItem }); 260 fTable.setSelection(new TableItem[] { fLastItem });
261 } else if (e.y < fTable.getItemHeight() / 4) { 261 } else if (e.y < fTable.getItemHeight() / 4) {
262 // Scroll up 262 // Scroll up
263 int index= fTable.indexOf(item); 263 int index= fTable.indexOf(item);
264 if (index > 0) { 264 if (index > 0) {
319 /** 319 /**
320 * Opens the currently selected link. 320 * Opens the currently selected link.
321 */ 321 */
322 private void openSelectedLink() { 322 private void openSelectedLink() {
323 TableItem selection= fTable.getSelection()[0]; 323 TableItem selection= fTable.getSelection()[0];
324 IHyperlink link= (IHyperlink)selection.getData(); 324 IHyperlink link= cast(IHyperlink)selection.getData();
325 fManager.hideInformationControl(); 325 fManager.hideInformationControl();
326 link.open(); 326 link.open();
327 } 327 }
328 } 328 }
329 329
440 return; 440 return;
441 441
442 if (fControl.isFocusControl()) 442 if (fControl.isFocusControl())
443 return; 443 return;
444 444
445 Control eventControl= (Control) event.widget; 445 Control eventControl= cast(Control) event.widget;
446 446
447 //transform coordinates to subject control: 447 //transform coordinates to subject control:
448 Point mouseLoc= event.display.map(eventControl, fSubjectControl, event.x, event.y); 448 Point mouseLoc= event.display.map(eventControl, fSubjectControl, event.x, event.y);
449 449
450 if (fSubjectArea.contains(mouseLoc)) 450 if (fSubjectArea.contains(mouseLoc))
451 return; 451 return;
452 452
453 if (inKeepUpZone(mouseLoc.x, mouseLoc.y, ((IInformationControlExtension3) fControl).getBounds())) 453 if (inKeepUpZone(mouseLoc.x, mouseLoc.y, (cast(IInformationControlExtension3) fControl).getBounds()))
454 return; 454 return;
455 455
456 hideInformationControl(); 456 hideInformationControl();
457 } 457 }
458 458
574 /* 574 /*
575 * @see dwtx.jface.text.AbstractInformationControlManager#showInformationControl(dwt.graphics.Rectangle) 575 * @see dwtx.jface.text.AbstractInformationControlManager#showInformationControl(dwt.graphics.Rectangle)
576 */ 576 */
577 protected void showInformationControl(Rectangle subjectArea) { 577 protected void showInformationControl(Rectangle subjectArea) {
578 if (fTextViewer instanceof IWidgetTokenOwnerExtension) { 578 if (fTextViewer instanceof IWidgetTokenOwnerExtension) {
579 if (((IWidgetTokenOwnerExtension) fTextViewer).requestWidgetToken(this, WIDGET_TOKEN_PRIORITY)) 579 if ((cast(IWidgetTokenOwnerExtension) fTextViewer).requestWidgetToken(this, WIDGET_TOKEN_PRIORITY))
580 super.showInformationControl(subjectArea); 580 super.showInformationControl(subjectArea);
581 } else if (fTextViewer instanceof IWidgetTokenOwner) { 581 } else if (fTextViewer instanceof IWidgetTokenOwner) {
582 if (((IWidgetTokenOwner) fTextViewer).requestWidgetToken(this)) 582 if ((cast(IWidgetTokenOwner) fTextViewer).requestWidgetToken(this))
583 super.showInformationControl(subjectArea); 583 super.showInformationControl(subjectArea);
584 } else { 584 } else {
585 super.showInformationControl(subjectArea); 585 super.showInformationControl(subjectArea);
586 } 586 }
587 587
593 */ 593 */
594 protected void hideInformationControl() { 594 protected void hideInformationControl() {
595 super.hideInformationControl(); 595 super.hideInformationControl();
596 596
597 if (fTextViewer instanceof IWidgetTokenOwner) { 597 if (fTextViewer instanceof IWidgetTokenOwner) {
598 ((IWidgetTokenOwner) fTextViewer).releaseWidgetToken(this); 598 (cast(IWidgetTokenOwner) fTextViewer).releaseWidgetToken(this);
599 } 599 }
600 600
601 fIsControlVisible= false; 601 fIsControlVisible= false;
602 fHyperlinkPresenter.hideHyperlinks(); 602 fHyperlinkPresenter.hideHyperlinks();
603 } 603 }
607 */ 607 */
608 public void disposeInformationControl() { 608 public void disposeInformationControl() {
609 super.disposeInformationControl(); 609 super.disposeInformationControl();
610 610
611 if (fTextViewer instanceof IWidgetTokenOwner) { 611 if (fTextViewer instanceof IWidgetTokenOwner) {
612 ((IWidgetTokenOwner) fTextViewer).releaseWidgetToken(this); 612 (cast(IWidgetTokenOwner) fTextViewer).releaseWidgetToken(this);
613 } 613 }
614 614
615 fIsControlVisible= false; 615 fIsControlVisible= false;
616 fHyperlinkPresenter.hideHyperlinks(); 616 fHyperlinkPresenter.hideHyperlinks();
617 } 617 }