mirror of
https://github.com/davidhalter/jedi-vim.git
synced 2026-01-20 08:02:51 +08:00
Merge branch 'master' of github.com:davidhalter/jedi-vim
This commit is contained in:
@@ -15,7 +15,7 @@ except ImportError:
|
||||
|
||||
|
||||
def no_jedi_warning():
|
||||
vim.command('echoerr "Please install Jedi if you want to use jedi_vim."')
|
||||
vim.command('echohl WarningMsg | echom "Please install Jedi if you want to use jedi_vim." | echohl None')
|
||||
|
||||
|
||||
def echo_highlight(msg):
|
||||
|
||||
Reference in New Issue
Block a user