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

Fix search for emojis

Browse Source 
Fixes #1103
This commit is contained in:
Daniel Imms
2018-01-16 07:26:03 -08:00
parent 8d3bdad7e4
commit 0e870d106f
1 changed files with 9 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/addons/search/SearchHelper.ts
+9 -3
View File
@@ -118,9 +118,15 @@ export class SearchHelper {
if (searchIndex >= 0) {
const line = this._terminal.buffer.lines.get(y);
for (let i = 0; i < searchIndex; i++) {
// Adjust the selection for empty characters following wide unicode chars
const char = line[i];
const charWidth = char[2/*CHAR_DATA_WIDTH_INDEX*/];
const charData = line[i];
// Adjust the searchIndex to normalize emoji into single chars
const char = charData[1/*CHAR_DATA_CHAR_INDEX*/];
if (char.length > 1) {
searchIndex -= char.length - 1;
}
// Adjust the searchIndex for empty characters following wide unicode
// chars (eg. CJK)
const charWidth = charData[2/*CHAR_DATA_WIDTH_INDEX*/];
if (charWidth === 0) {
searchIndex++;
}