diff options
author | Tom Schindl | 2016-12-21 07:53:43 +0000 |
---|---|---|
committer | Tom Schindl | 2016-12-21 07:53:43 +0000 |
commit | 0533f8872b63007e0076d49021cd53371bdf7349 (patch) | |
tree | 52a12f1584e6377d180c86640fcc3b4144e3bddf | |
parent | a5696edd1da494252304ae17333458904381f715 (diff) | |
download | org.eclipse.efxclipse-0533f8872b63007e0076d49021cd53371bdf7349.tar.gz org.eclipse.efxclipse-0533f8872b63007e0076d49021cd53371bdf7349.tar.xz org.eclipse.efxclipse-0533f8872b63007e0076d49021cd53371bdf7349.zip |
fixed #37
Change-Id: Ia35853e6e14d9b9648cf905775f420365f80d49f
-rw-r--r-- | bundles/code/org.eclipse.fx.text.ui/src/org/eclipse/fx/text/ui/TextViewer.java | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/bundles/code/org.eclipse.fx.text.ui/src/org/eclipse/fx/text/ui/TextViewer.java b/bundles/code/org.eclipse.fx.text.ui/src/org/eclipse/fx/text/ui/TextViewer.java index d8ade03cd..2d2c8d3e5 100644 --- a/bundles/code/org.eclipse.fx.text.ui/src/org/eclipse/fx/text/ui/TextViewer.java +++ b/bundles/code/org.eclipse.fx.text.ui/src/org/eclipse/fx/text/ui/TextViewer.java @@ -125,7 +125,7 @@ public class TextViewer extends AnchorPane implements ITextViewer, ITextViewerEx initActionMapping(); } - + public void dispose() { if (this.fUndoManager != null) { this.fUndoManager.disconnect(); @@ -1125,16 +1125,18 @@ public class TextViewer extends AnchorPane implements ITextViewer, ITextViewerEx && !fTextHovers.isEmpty() /* && fHoverControlCreator != null */ && fTextHoverManager == null) { fTextHoverManager = createTextHovermanager(); fTextHoverManager.install(this.getTextWidget()); - + // fTextHoverManager.setSizeConstraints(TEXT_HOVER_WIDTH_CHARS, // TEXT_HOVER_HEIGHT_CHARS, false, true); // fTextHoverManager.setInformationControlReplacer(new // StickyHoverManager(this)); } } - + protected void configureHoverSize(Supplier<Point2D> windowSizeRetriever, Consumer<Point2D> windowSizePersister) { - fTextHoverManager.configureWindowSize(windowSizeRetriever, windowSizePersister); + if( fTextHoverManager != null ) { + fTextHoverManager.configureWindowSize(windowSizeRetriever, windowSizePersister); + } } protected TextViewerHoverManager createTextHovermanager() { |