From d633d92e31f3fb4bae614d031898942c49894c2f Mon Sep 17 00:00:00 2001
From: Michael M Slusarz <slusarz@curecanti.org>
Date: Mon, 9 Mar 2009 22:49:30 -0600
Subject: [PATCH] Fix removing flags in viewport

---
 imp/js/src/ViewPort.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/imp/js/src/ViewPort.js b/imp/js/src/ViewPort.js
index 70cdf9ec5..05330b5dc 100644
--- a/imp/js/src/ViewPort.js
+++ b/imp/js/src/ViewPort.js
@@ -807,7 +807,7 @@ var ViewPort = Class.create({
             if (add) {
                 r.bg.push(flag);
             } else {
-                r.bg.splice(r.bg.indexOf(flag), 1);
+                r.bg.without(flag);
             }
             if (filter) {
                 this._updateFlag(this.createSelection('uid', r.vp_id, r.view), flag, add);
-- 
2.11.0