From eb0b066ab7e93f02ec0dbc2bfae9f44d80a2bae5 Mon Sep 17 00:00:00 2001 From: Jackson Kearl Date: Wed, 22 Aug 2018 10:40:40 -0700 Subject: [PATCH] Fix bug causing settings name to sometimes be improperly copied. (#56948) * Fix bug causing settigns name to sometimes be improperly copied. * Filter arros out on search * revernt change to name text * more aggressive filtering of the arrow symbols --- src/vs/workbench/parts/preferences/browser/settingsEditor2.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/vs/workbench/parts/preferences/browser/settingsEditor2.ts b/src/vs/workbench/parts/preferences/browser/settingsEditor2.ts index ee26a5d7a0b..ca45a7487bf 100644 --- a/src/vs/workbench/parts/preferences/browser/settingsEditor2.ts +++ b/src/vs/workbench/parts/preferences/browser/settingsEditor2.ts @@ -770,7 +770,7 @@ export class SettingsEditor2 extends BaseEditor { const query = this.searchWidget.getValue().trim(); if (query === '') { this.countElement.style.display = 'none'; this.noResultsMessage.style.display = 'none'; } this.delayedFilterLogging.cancel(); - this.triggerSearch(query).then(() => { + this.triggerSearch(query.replace(/›/g, ' ')).then(() => { if (query && this.searchResultModel) { this.delayedFilterLogging.trigger(() => this.reportFilteringUsed(query, this.searchResultModel.getUniqueResults())); }