void (boolean allowedToChangedEditorSelection) { updateUIWithEmptyResults(); mySearchResults.clear(); if (allowedToChangedEditorSelection && !ClientProperty.isTrue(myComponent.getSearchTextComponent(), SearchTextArea.JUST_CLEARED_KEY)) { restoreInitialCaretPositionAndSelection(); } }