find widget readonly notes

This commit is contained in:
zadam
2022-05-26 16:29:54 +02:00
parent f250b72563
commit ade77e5fb8
6 changed files with 78 additions and 18 deletions

View File

@@ -169,7 +169,7 @@ export default class FindInCode {
codeEditor.scrollIntoView(pos.from);
}
async cleanup(totalFound, currentFound) {
async findBoxClosed(totalFound, currentFound) {
const codeEditor = await this.getCodeEditor();
if (totalFound > 0) {
@@ -190,10 +190,7 @@ export default class FindInCode {
// Restore the highlightSelectionMatches setting
codeEditor.setOption("highlightSelectionMatches", this.oldHighlightSelectionMatches);
this.findResult = null;
}
async close() {
const codeEditor = await this.getCodeEditor();
codeEditor.focus();
}
}