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
This commit is contained in:
Jackson Kearl 2018-08-22 10:40:40 -07:00 committed by GitHub
parent 75f49fcd33
commit eb0b066ab7
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -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()));
}