1 files changed, 17 insertions, 0 deletions
diff --git a/share/tools/web_config/js/filters.js b/share/tools/web_config/js/filters.js
index f8c00766..b5580f2d 100644
--- a/share/tools/web_config/js/filters.js
+++ b/share/tools/web_config/js/filters.js
@@ -33,3 +33,20 @@ filters.filter("filterBinding", function() {
         return result;
     }
 });
+
+filters.filter("filterAbbreviations", function() {
+    return function(abbreviations, query) {
+        var result = []
+        if (abbreviations == undefined) return result;
+        if (query == null) { return abbreviations};
+
+        for(i=0; i<abbreviations.length; ++i) {
+            abbr = abbreviations[i];
+            if (abbr.word.toLowerCase().indexOf(query) != -1 || abbr.phrase.toLowerCase().indexOf(query.toLowerCase()) != -1) {
+                result.push(abbr);
+            }
+        }
+
+        return result;
+    }
+});