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

Use case-insensitive search by default

Browse Source
This commit is contained in:
Daniel Imms
2017-06-20 17:40:31 -07:00
parent 39151e4354
commit 6854def13c
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/SearchHelper.ts
+3 -2
View File
@@ -103,8 +103,9 @@ export class SearchHelper {
private _findInLine(term: string, y: number): ISearchResult {
const bufferLine = this._terminal.lines.get(y);
const stringLine = translateBufferLineToString(bufferLine, true);
const searchIndex = stringLine.indexOf(term);
const lowerStringLine = translateBufferLineToString(bufferLine, true).toLowerCase();
const lowerTerm = term.toLowerCase();
const searchIndex = lowerStringLine.indexOf(lowerTerm);
if (searchIndex >= 0) {
return {
term,