From 84d1f838f01480987981786c6cfca4a568058489 Mon Sep 17 00:00:00 2001 From: Michael Telatynski <7t3chguy@gmail.com> Date: Mon, 23 Oct 2017 11:39:21 +0100 Subject: [PATCH] make filtering case-insensitive Signed-off-by: Michael Telatynski <7t3chguy@gmail.com> --- src/components/views/dialogs/DevtoolsDialog.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/components/views/dialogs/DevtoolsDialog.js b/src/components/views/dialogs/DevtoolsDialog.js index 9c5948b4a0..9300a1855c 100644 --- a/src/components/views/dialogs/DevtoolsDialog.js +++ b/src/components/views/dialogs/DevtoolsDialog.js @@ -237,7 +237,7 @@ class RoomStateExplorer extends React.Component { if (this.state.eventType === null) { Object.keys(this.roomStateEvents).forEach((evType) => { // Skip this entry if does not contain search query - if (this.state.query && !evType.includes(this.state.query)) return; + if (this.state.query && !evType.toLowerCase().includes(this.state.query.toLocaleLowerCase())) return; const stateGroup = this.roomStateEvents[evType]; const stateKeys = Object.keys(stateGroup); @@ -258,7 +258,7 @@ class RoomStateExplorer extends React.Component { const stateGroup = this.roomStateEvents[evType]; Object.keys(stateGroup).forEach((stateKey) => { // Skip this entry if does not contain search query - if (this.state.query && !stateKey.includes(this.state.query)) return; + if (this.state.query && !stateKey.toLowerCase().includes(this.state.query.toLocaleLowerCase())) return; const ev = stateGroup[stateKey]; rows.push(