[gnome-builder/gnome-builder-3-18] jedi: remove duplicate check



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]