findList -> widget

This commit is contained in:
meganrogge 2021-05-13 10:57:01 -07:00
parent 6df6fd01e7
commit 289f739c0c
No known key found for this signature in database
GPG key ID: 3155C8B2F0428C81

View file

@ -511,7 +511,7 @@ export class TerminalTabbedView extends Disposable {
this._findWidget!.hide();
}
showFindList() {
showFindWidget() {
const activeInstance = this._terminalService.getActiveInstance();
if (activeInstance && activeInstance.hasSelection() && activeInstance.selection!.indexOf('\n') === -1) {
this._findWidget!.show(activeInstance.selection);
@ -520,7 +520,7 @@ export class TerminalTabbedView extends Disposable {
}
}
getFindList(): TerminalFindWidget {
getFindWidget(): TerminalFindWidget {
return this._findWidget!;
}