[gnome-builder/gnome-builder-3-18] jedi: do fuzzy search and highlight

[Christian Hergert <chergert src gnome org>]

commit cef81ae26637c64b50c9cf9abe476fc91f50027f
Author: Christian Hergert <christian hergert me>
Date:   Fri Oct 2 02:35:35 2015 -0700

    jedi: do fuzzy search and highlight

 plugins/jedi/jedi_plugin.py |   12 +++++++++++-
 1 files changed, 11 insertions(+), 1 deletions(-)
---
diff --git a/plugins/jedi/jedi_plugin.py b/plugins/jedi/jedi_plugin.py
index a4a48da..e95f4e4 100644
--- a/plugins/jedi/jedi_plugin.py
+++ b/plugins/jedi/jedi_plugin.py
@@ -197,6 +197,7 @@ class JediCompletionProvider(Ide.Object,
 
     def do_populate(self, context):
         self.current_word = Ide.CompletionProvider.context_current_word(context)
+        self.current_word_lower = self.current_word.lower()
 
         if self.thread is not None:
             self.thread.cancelled = True
@@ -380,8 +381,17 @@ class JediCompletionProposal(Ide.CompletionItem, GtkSource.CompletionProposal):
     def do_get_label(self):
         return self.completion.name
 
+    def do_match(self, query, casefold):
+        ret, priority = Ide.CompletionItem.fuzzy_match(
+                self.completion.name,
+                self.provider.current_word_lower)
+        self.set_priority(priority)
+        return ret
+
     def do_get_markup(self):
-        return self.completion.name
+        return Ide.CompletionItem.fuzzy_highlight(
+                self.completion.complete,
+                self.provider.current_word_lower)
 
     def do_get_text(self):
         return self.completion.complete