@Override public void setTextHover(ITextHover hover, String contentType, int stateMask) { TextHoverKey key= new TextHoverKey(contentType, stateMask); if (hover != null) { if (fTextHovers == null) { fTextHovers= new HashMap<>(); } fTextHovers.put(key, hover); } else if (fTextHovers != null) fTextHovers.remove(key); ensureHoverControlManagerInstalled(); }
@Override public void setTextHover(ITextHover hover, String contentType, int stateMask) { TextHoverKey key= new TextHoverKey(contentType, stateMask); if (hover != null) { if (fTextHovers == null) { fTextHovers= new HashMap<>(); } fTextHovers.put(key, hover); } else if (fTextHovers != null) fTextHovers.remove(key); ensureHoverControlManagerInstalled(); }
@Override public void activatePlugins() { if (fDoubleClickStrategies != null && !fDoubleClickStrategies.isEmpty() && fDoubleClickStrategyConnector == null) { fDoubleClickStrategyConnector= new TextDoubleClickStrategyConnector(); fTextWidget.addWordMovementListener(fDoubleClickStrategyConnector); fTextWidget.addMouseListener(fDoubleClickStrategyConnector); } ensureHoverControlManagerInstalled(); ensureHyperlinkManagerInstalled(); if (fUndoManager != null) { fUndoManager.connect(this); fUndoManager.reset(); } }
@Override public void activatePlugins() { if (fDoubleClickStrategies != null && !fDoubleClickStrategies.isEmpty() && fDoubleClickStrategyConnector == null) { fDoubleClickStrategyConnector= new TextDoubleClickStrategyConnector(); fTextWidget.addWordMovementListener(fDoubleClickStrategyConnector); fTextWidget.addMouseListener(fDoubleClickStrategyConnector); } ensureHoverControlManagerInstalled(); ensureHyperlinkManagerInstalled(); if (fUndoManager != null) { fUndoManager.connect(this); fUndoManager.reset(); } }