From 3cf50cf24f6b79f785724008a4e24b6ae3b49cdd Mon Sep 17 00:00:00 2001
From: Mike Taylor <mike@indexdata.com>
Date: Wed, 23 Apr 2014 15:05:55 +0100
Subject: [PATCH] Implement filterSet.targetFiltered function

---
 src/mkws-filter.js |   10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/src/mkws-filter.js b/src/mkws-filter.js
index 232d0d5..290b0d0 100644
--- a/src/mkws-filter.js
+++ b/src/mkws-filter.js
@@ -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;
 }
 
-- 
1.7.10.4