fix refine command

ftplugin/idris2.vim

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