diff options
| author | dzamo <9107319+dzamo@users.noreply.github.com> | 2021-04-27 17:42:29 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-27 17:42:29 +0200 |
| commit | cd9b1e66f02bb7c341eb499d72eb5debfd6ce4c3 (patch) | |
| tree | 3fed4a3d6164055df986345e3c70f959e5018d9a /rc/tools/python | |
| parent | b720ebf34b1b96c850fbfa3dcc5ff962c08e78a4 (diff) | |
Update jedi.kak
I needed this patch accommodating minor Jedi API changes to get Jedi completion working. I've got Jedi 0.18.0.
Diffstat (limited to 'rc/tools/python')
| -rw-r--r-- | rc/tools/python/jedi.kak | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/rc/tools/python/jedi.kak b/rc/tools/python/jedi.kak index 14acbf32..1efdfe3a 100644 --- a/rc/tools/python/jedi.kak +++ b/rc/tools/python/jedi.kak @@ -26,8 +26,8 @@ define-command jedi-complete -docstring "Complete the current selection" %{ export PYTHONPATH="$kak_opt_jedi_python_path:$PYTHONPATH" compl=$(python 2> "${dir}/fifo" <<-END import jedi - script=jedi.Script(open('$dir/buf', 'r').read(), $kak_cursor_line, $kak_cursor_column - 1, '$kak_buffile') - print(' '.join(["'" + (str(c.name).replace("|", "\\|") + "|info -style menu %!" + str(c.docstring()).replace("|", "\\|").replace("!", "!!") + "!|" + str(c.name).replace("|", "\\|")).replace("~", "~~").replace("'", "''") + "'" for c in script.completions()])) + script=jedi.Script(code=open('$dir/buf', 'r').read(), path='$kak_buffile') + print(' '.join(["'" + (str(c.name).replace("|", "\\|") + "|info -style menu %!" + str(c.docstring()).replace("|", "\\|").replace("!", "!!") + "!|" + str(c.name).replace("|", "\\|")).replace("~", "~~").replace("'", "''") + "'" for c in script.complete(line=$kak_cursor_line, column=$kak_cursor_column)])) END ) printf %s\\n "evaluate-commands -client ${kak_client} %~echo completed; set-option %{buffer=${kak_buffile}} jedi_completions ${header} ${compl}~" | kak -p ${kak_session} |