[gnome-builder/gnome-builder-3-18] jedi: remove duplicate check
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder/gnome-builder-3-18] jedi: remove duplicate check
- Date: Tue, 13 Oct 2015 07:32:35 +0000 (UTC)
commit 2b84734f71417fd56709b57ccb20fe2bb5fae5d3
Author: Christian Hergert <christian hergert me>
Date: Fri Oct 2 01:31:16 2015 -0700
jedi: remove duplicate check
do_match() already checks this for us.
plugins/jedi/jedi_plugin.py | 4 ----
1 files changed, 0 insertions(+), 4 deletions(-)
---
diff --git a/plugins/jedi/jedi_plugin.py b/plugins/jedi/jedi_plugin.py
index bad0317..7a82c74 100644
--- a/plugins/jedi/jedi_plugin.py
+++ b/plugins/jedi/jedi_plugin.py
@@ -193,10 +193,6 @@ class JediCompletionProvider(Ide.Object,
return None
def do_populate(self, context):
- if not HAS_JEDI:
- context.add_proposals(self, [], True)
- return
-
_, iter = context.get_iter()
buffer = iter.get_buffer()
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]