mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
EA-25876
This commit is contained in:
@@ -708,9 +708,7 @@ public class EditorSearchComponent extends JPanel implements DataProvider, Selec
|
||||
}
|
||||
myLivePreview.cleanUp();
|
||||
myLivePreview.dispose();
|
||||
if (myListeningSelection) {
|
||||
myEditor.getSelectionModel().removeSelectionListener(this);
|
||||
}
|
||||
setTrackingSelection(false);
|
||||
addTextToRecents(mySearchField);
|
||||
if (myReplaceField != null) {
|
||||
addTextToRecents(myReplaceField);
|
||||
|
||||
Reference in New Issue
Block a user