-
Notifications
You must be signed in to change notification settings - Fork 9
Open
Description
After updating from git, I need to comment line 99-101 and unindent once line 102 in gedi.py to make it works on Gedit 3.18.3 on Ubuntu 16.04.6
97 for completion in Jedi.get_script(document).completions():
98 complete = completion.name
99 #if jedi.__version__ <= (0,7,0):
100 # doc=completion.doc
101 #else:
102 doc=completion.docstring()The reason is the following error message:
jedi is not found
Thanks again for your great works!
Let's make gEdit great again.
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
No labels