diff --git a/ftplugin/idris2.vim b/ftplugin/idris2.vim index 959439a..f215eba 100644 --- a/ftplugin/idris2.vim +++ b/ftplugin/idris2.vim @@ -61,7 +61,7 @@ function! IdrisResponseWin() badd idris-response b idris-response let g:idris_respwin = "active" - set buftype=nofile + setlocal buftype=nofile bufhidden=hide noswapfile wincmd k elseif (bufexists("idris-response") && g:idris_respwin == "hidden") botright 10split