void (final String newUrl) { if (!Objects.equals(getFileUrl(), newUrl)) { var oldFile = getFile(); myState.setFileUrl(newUrl); mySourcePosition = null; removeHighlighter(); redrawInlineInlays(oldFile, getLine()); redrawInlineInlays(getFile(), getLine()); fireBreakpointChanged(); } }