JediDebugInfo: settings: display full name

This commit is contained in:
Daniel Hahler
2017-04-17 12:29:08 +02:00
committed by Dave Halter
parent 8e34a59045
commit eef60e056a

View File

@@ -215,8 +215,8 @@ EOF
echo '##### Settings'
echo '```'
for [k, V] in items(filter(copy(g:), "v:key =~# '\\v^jedi#'"))
let k = substitute(k, '\v^jedi#', '', '')
exe 'let default = '.get(s:default_settings, k, "'-'")
exe 'let default = '.get(s:default_settings,
\ substitute(k, '\v^jedi#', '', ''), "'-'")
" vint: -ProhibitUsingUndeclaredVariable
if default !=# V
echo printf('g:%s = %s (default: %s)', k, string(V), string(default))