From 568f98459c7fbd0f38db9ccaa7fb375218d2dd8e Mon Sep 17 00:00:00 2001
From: Michael M Slusarz <slusarz@curecanti.org>
Date: Tue, 10 Mar 2009 12:17:45 -0600
Subject: [PATCH] Correctly fix unflagging messages 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 05330b5dc..8205e7471 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.without(flag);
+                r.bg = r.bg.without(flag);
             }
             if (filter) {
                 this._updateFlag(this.createSelection('uid', r.vp_id, r.view), flag, add);
-- 
2.11.0