comparison dwtx/jface/text/source/SourceViewer.d @ 159:7926b636c282

...
author Frank Benoit <benoit@tionex.de>
date Wed, 27 Aug 2008 01:57:58 +0200
parents f70d9508c95c
children 3678e4f1a766
comparison
equal deleted inserted replaced
158:25f1f92fa3df 159:7926b636c282
100 import dwtx.jface.text.IRegion; 100 import dwtx.jface.text.IRegion;
101 import dwtx.jface.text.IRewriteTarget; 101 import dwtx.jface.text.IRewriteTarget;
102 import dwtx.jface.text.ISlaveDocumentManager; 102 import dwtx.jface.text.ISlaveDocumentManager;
103 import dwtx.jface.text.ISlaveDocumentManagerExtension; 103 import dwtx.jface.text.ISlaveDocumentManagerExtension;
104 import dwtx.jface.text.ITextViewerExtension2; 104 import dwtx.jface.text.ITextViewerExtension2;
105 import dwtx.jface.text.ITextViewerExtension8;
105 import dwtx.jface.text.Position; 106 import dwtx.jface.text.Position;
106 import dwtx.jface.text.Region; 107 import dwtx.jface.text.Region;
107 import dwtx.jface.text.TextViewer; 108 import dwtx.jface.text.TextViewer;
108 import dwtx.jface.text.contentassist.IContentAssistant; 109 import dwtx.jface.text.contentassist.IContentAssistant;
109 import dwtx.jface.text.contentassist.IContentAssistantExtension4; 110 import dwtx.jface.text.contentassist.IContentAssistantExtension4;
521 522
522 /* 523 /*
523 * @see dwtx.jface.text.TextViewer#setHoverEnrichMode(dwtx.jface.text.ITextViewerExtension8.EnrichMode) 524 * @see dwtx.jface.text.TextViewer#setHoverEnrichMode(dwtx.jface.text.ITextViewerExtension8.EnrichMode)
524 * @since 3.4 525 * @since 3.4
525 */ 526 */
526 public void setHoverEnrichMode(EnrichMode mode) { 527 public void setHoverEnrichMode(ITextViewerExtension8_EnrichMode mode) {
527 super.setHoverEnrichMode(mode); 528 super.setHoverEnrichMode(mode);
528 if (fVerticalRulerHoveringController !is null) 529 if (fVerticalRulerHoveringController !is null)
529 fVerticalRulerHoveringController.getInternalAccessor().setHoverEnrichMode(mode); 530 fVerticalRulerHoveringController.getInternalAccessor().setHoverEnrichMode(mode);
530 if (fOverviewRulerHoveringController !is null) 531 if (fOverviewRulerHoveringController !is null)
531 fOverviewRulerHoveringController.getInternalAccessor().setHoverEnrichMode(mode); 532 fOverviewRulerHoveringController.getInternalAccessor().setHoverEnrichMode(mode);