[gedit/gnome-3-8] Bug 698291 - Fix filtering for duplicate items in quick open
- From: Garrett Regier <gregier src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gedit/gnome-3-8] Bug 698291 - Fix filtering for duplicate items in quick open
- Date: Mon, 17 Jun 2013 07:03:55 +0000 (UTC)
commit 3b4a695994148d51c6d4477b1fdc90436f00c70d
Author: Garrett Regier <garrettregier gmail com>
Date: Sun Jun 16 22:59:41 2013 -0700
Bug 698291 - Fix filtering for duplicate items in quick open
plugins/quickopen/quickopen/popup.py | 8 +++++---
1 files changed, 5 insertions(+), 3 deletions(-)
---
diff --git a/plugins/quickopen/quickopen/popup.py b/plugins/quickopen/quickopen/popup.py
index b41c69c..484f512 100644
--- a/plugins/quickopen/quickopen/popup.py
+++ b/plugins/quickopen/quickopen/popup.py
@@ -312,13 +312,15 @@ class Popup(Gtk.Dialog):
return out
def _append_to_store(self, item):
- if item not in self._stored_items:
+ uri = item[2].get_uri()
+
+ if uri not in self._stored_items:
self._store.append(item)
- self._stored_items[item] = True
+ self._stored_items.add(uri)
def _clear_store(self):
self._store.clear()
- self._stored_items = {}
+ self._stored_items = set()
def _show_virtuals(self):
for d in self._dirs:
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]