Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorTom Schindl2016-12-21 07:53:43 +0000
committerTom Schindl2016-12-21 07:53:43 +0000
commit0533f8872b63007e0076d49021cd53371bdf7349 (patch)
tree52a12f1584e6377d180c86640fcc3b4144e3bddf
parenta5696edd1da494252304ae17333458904381f715 (diff)
downloadorg.eclipse.efxclipse-0533f8872b63007e0076d49021cd53371bdf7349.tar.gz
org.eclipse.efxclipse-0533f8872b63007e0076d49021cd53371bdf7349.tar.xz
org.eclipse.efxclipse-0533f8872b63007e0076d49021cd53371bdf7349.zip
fixed #37
-rw-r--r--bundles/code/org.eclipse.fx.text.ui/src/org/eclipse/fx/text/ui/TextViewer.java10
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() {

Back to the top