[gnome-builder/gnome-builder-3-18] jedi: use the name, not the completion for markup
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder/gnome-builder-3-18] jedi: use the name, not the completion for markup
- Date: Thu, 15 Oct 2015 14:41:00 +0000 (UTC)
commit d8e9b3d7952e2ea851c952b98374188337c2dc7b
Author: Christian Hergert <chergert redhat com>
Date: Tue Oct 13 11:21:39 2015 -0700
jedi: use the name, not the completion for markup
Otherwise, we would see just "indow" to complete "Window".
plugins/jedi/jedi_plugin.py | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/plugins/jedi/jedi_plugin.py b/plugins/jedi/jedi_plugin.py
index a9ac2d7..2e74609 100644
--- a/plugins/jedi/jedi_plugin.py
+++ b/plugins/jedi/jedi_plugin.py
@@ -403,7 +403,7 @@ class JediCompletionProposal(Ide.CompletionItem, GtkSource.CompletionProposal):
return ret
def do_get_markup(self):
- name = Ide.CompletionItem.fuzzy_highlight(self.completion.complete,
+ name = Ide.CompletionItem.fuzzy_highlight(self.completion.name,
self.provider.current_word_lower)
parts = [name]
if self.completion.real_type == 'function':
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]