void () { if (!myInsideShow) { if (myHideRunnable != null) { myHideRunnable.run(); } myHintHidden = true; } disposeHighlighter(); if (getEditor().getUserData(HINT_KEY) == this) { getEditor().putUserData(HINT_KEY, null); } onHintHidden(); }