From 44b091a7c681421b1e2a2d77332734fd7a23e001 Mon Sep 17 00:00:00 2001
From: Siteshwar Vashisht <siteshwar@gmail.com>
Date: Tue, 22 Oct 2013 00:24:15 +0530
Subject: [PATCH] Enabled filtering by binding keys

---
 share/tools/web_config/js/filters.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/share/tools/web_config/js/filters.js b/share/tools/web_config/js/filters.js
index 99746d343..7a54f7fed 100644
--- a/share/tools/web_config/js/filters.js
+++ b/share/tools/web_config/js/filters.js
@@ -25,7 +25,7 @@ filters.filter("filterBinding", function() {
 
         for(i=0; i<bindings.length; ++i) {
             binding = bindings[i];
-            if (binding.command.indexOf(query) != -1) {
+            if (binding.command.indexOf(query) != -1 || binding.binding.toLowerCase().indexOf(query.toLowerCase()) != -1) {
                 result.push(binding);
             }
         }