Commit 9158d07d authored by Manu Beffara's avatar Manu Beffara
Browse files

Do not clutter registers when clearing information windows.

parent 6f2e5fde
......@@ -1089,7 +1089,7 @@ endfunction
function s:window.clear ()
let win = win_getid()
call win_gotoid(self.id)
0,$d
0,$d _
call win_gotoid(win)
endfunction
......@@ -1247,7 +1247,7 @@ function s:coq.show_goals_return (d)
endif
let win = win_getid()
call win_gotoid(self.goals.id)
0,$d
0,$d _
if has_key(a:d, 'current')
if empty(a:d.current)
call append(line('$') - 1, "No goal")
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment