void () { if (myHighlighter != null) { TextAttributes attributes = myHighlighter.getUserData(HINT_TEXT_ATTRIBUTES); if (attributes != null) { ((RangeHighlighterEx)myHighlighter).setTextAttributes(attributes); } } }