waveterm/xterm.js
0
0
Fork 0
mirror of https://github.com/wavetermdev/xterm.js.git synced 2026-08-05 13:43:48 -07:00
Code Issues Packages Projects Releases Wiki Activity

change return value, import ISelectionPosition

Browse Source
This commit is contained in:
Miguel Roncancio
2019-10-21 23:39:01 -04:00
parent d02086e5c6
commit 495f97cf95
1 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
addons/xterm-addon-search/src/SearchAddon.ts
+5 -5
View File
@@ -3,7 +3,7 @@
* @license MIT
*/
import { Terminal, IDisposable, ITerminalAddon } from 'xterm';
import { Terminal, IDisposable, ITerminalAddon, ISelectionPosition } from 'xterm';
export interface ISearchOptions {
regex?: boolean;
@@ -59,7 +59,7 @@ export class SearchAddon implements ITerminalAddon {
let startCol = 0;
let startRow = 0;
let currentSelection = null;
let currentSelection: ISelectionPosition | undefined = undefined;
if (this._terminal.hasSelection()) {
const incremental = searchOptions ? searchOptions.incremental : false;
// Start from the selection end if there is a selection
@@ -98,7 +98,7 @@ export class SearchAddon implements ITerminalAddon {
}
// If there is only one result, return false.
if (!result && currentSelection) return false;
if (!result && currentSelection) return true;
// Set selection and scroll if a result was found
return this._selectResult(result);
@@ -126,7 +126,7 @@ export class SearchAddon implements ITerminalAddon {
let startCol = this._terminal.cols;
let result: ISearchResult | undefined = undefined;
const incremental = searchOptions ? searchOptions.incremental : false;
let currentSelection = null;
let currentSelection: ISelectionPosition | undefined = undefined;
if (this._terminal.hasSelection()) {
currentSelection = this._terminal.getSelectionPosition()!;
// Start from selection start if there is a selection
@@ -166,7 +166,7 @@ export class SearchAddon implements ITerminalAddon {
}
// If there is only one result, return false.
if (!result && currentSelection) return false;
if (!result && currentSelection) return true;
// Set selection and scroll if a result was found
return this._selectResult(result);