rhi
/
idris2-vim
1
0
Fork 0
Code Issues Pull Requests Releases Activity

Compare commits

base: rhi:f89aa275a155dc81f8b9ebfc1f8dc354b9f52863
Branches Tags
rhi:main
...
compare: rhi:518e5f0c41e58b0844885156d6eb6eecd5ece0fc
Branches Tags
rhi:main

2 Commits
f89aa275a1 ... 518e5f0c41

Author SHA1 Message Date
rhiannon morris 518e5f0c41 fix refine command 2023-05-27 16:22:20 +02:00
rhiannon morris ad08ee24f5 stop wobbling the window around on reload 2023-05-27 16:22:13 +02:00
1 changed files with 4 additions and 2 deletions
Show Stats Expand all files Collapse all files

6
ftplugin/idris2.vim
View File

@ -80,6 +80,7 @@ function! IdrisShowResponseWin()
endfunction endfunction
function! IWrite(str) function! IWrite(str)
let view = winsaveview()
if (bufexists("idris-response")) if (bufexists("idris-response"))
let save_cursor = getcurpos() let save_cursor = getcurpos()
b idris-response b idris-response
@ -91,6 +92,7 @@ function! IWrite(str)
else else
echo a:str echo a:str
endif endif
call winrestview(view)
endfunction endfunction
function! IdrisReload(q) function! IdrisReload(q)
@ -188,10 +190,10 @@ function! IdrisRefine()
let view = winsaveview() let view = winsaveview()
w w
let cline = line(".") let cline = line(".")
let word = expand("<cword>") let word = s:currentQueryObject()
let name = input ("Name: ") let name = input ("Name: ")
let result = s:IdrisCommand(":ref!", cline, word, name) let result = s:IdrisCommand(":refine!", cline, word, name)
if (! (result is "")) if (! (result is ""))
call IWrite(result) call IWrite(result)
else else