rio: properly restore the windows contents on /dev/mouse close

The previous resize optimization now means that the wfill()
is skipped on resize for libdraw programs.

So do it once /dev/mouse is closed and the window processes
the Refresh message.
This commit is contained in:
cinap_lenrek 2020-12-02 00:53:58 +01:00
parent c931e96364
commit 7d55aa8a32

View file

@ -129,6 +129,7 @@ wrefresh(Window *w)
wborder(w, Unselborder);
r = insetrect(w->i->r, Selborder);
draw(w->i, r, w->cols[BACK], nil, w->entire.min);
wfill(w);
w->ticked = 0;
if(w->p0 > 0)
frdrawsel(w, frptofchar(w, 0), 0, w->p0, 0);