596061626364656667
* * @return TextHoverManager */ public TextHoverManager getTextHoverManager() { if (fTextHoverManager == null) { fTextHoverManager = new TextHoverManager(); } return fTextHoverManager; }