[gnome-builder] jedi: drop unused function

[Christian Hergert <chergert src gnome org>]

commit eca699f43291e7ec9e6f29a3ff167924dbbd4c67
Author: Christian Hergert <chergert redhat com>
Date:   Wed Jan 13 19:34:57 2016 -0800

    jedi: drop unused function

 plugins/jedi/jedi_plugin.py |    3 ---
 1 files changed, 0 insertions(+), 3 deletions(-)
---
diff --git a/plugins/jedi/jedi_plugin.py b/plugins/jedi/jedi_plugin.py
index d6674de..5220f51 100644
--- a/plugins/jedi/jedi_plugin.py
+++ b/plugins/jedi/jedi_plugin.py
@@ -293,9 +293,6 @@ class JediCompletionProvider(Ide.Object, GtkSource.CompletionProvider, Ide.Compl
                 return True
         return False
 
-    def _get_worker_cb(self, app, result):
-        self.proxy = app.get_worker_finish(result)
-
     def do_populate(self, context):
         self.current_word = Ide.CompletionProvider.context_current_word(context)
         self.current_word_lower = self.current_word.lower()