Implement filterSet.targetFiltered function
authorMike Taylor <mike@indexdata.com>
Wed, 23 Apr 2014 14:05:55 +0000 (15:05 +0100)
committerMike Taylor <mike@indexdata.com>
Wed, 23 Apr 2014 14:05:55 +0000 (15:05 +0100)
src/mkws-filter.js

index 232d0d5..290b0d0 100644 (file)
@@ -25,6 +25,16 @@ function filterSet() {
        m_list = newList;
     };
 
+    that.targetFiltered = function(id) {
+       for (var i = 0; i < m_list.length; i++) {
+           if (m_list[i].id === id ||
+               m_list[i].id === 'pz:id=' + id) {
+               return true;
+           }
+       }
+       return false;
+    }
+
     return that;
 }