[gnome-builder] jedi: be less annoying after whitespace

[Christian Hergert <chergert src gnome org>]

commit 8a37cc0ddc86bbbc14c4ea3c961c1a4d92ce0797
Author: Christian Hergert <christian hergert me>
Date:   Thu Jul 16 09:35:38 2015 -0700

    jedi: be less annoying after whitespace

 plugins/jedi/jedi_plugin.py |    9 +++++++++
 1 files changed, 9 insertions(+), 0 deletions(-)
---
diff --git a/plugins/jedi/jedi_plugin.py b/plugins/jedi/jedi_plugin.py
index a047bba..71a4d7c 100644
--- a/plugins/jedi/jedi_plugin.py
+++ b/plugins/jedi/jedi_plugin.py
@@ -78,6 +78,15 @@ class JediCompletionProvider(Ide.Object,
 
         _, iter = context.get_iter()
         buffer = iter.get_buffer()
+
+        # ignore completions if we are following whitespace.
+        copy = iter.copy()
+        copy.set_line_offset(0)
+        text = buffer.get_text(copy, iter, True)
+        if not text or text[-1].isspace():
+            context.add_proposals(self, [], True)
+            return
+
         begin, end = buffer.get_bounds()
 
         filename = (iter.get_buffer()