void () { if (myHighlighter != null && myHighlighter.isValid()) { mySourcePosition = null; // reset the source position even if the line number has not changed, as the offset may be cached inside try (AccessToken ignore = SlowOperations.knownIssue("IDEA-323746, EA-674953")) { setLine(myHighlighter.getDocument().getLineNumber(getOffset()), false); } } }