git: 9front

Download patch

ref: 619204ca14ed6feeb55ce241b15376921a07b91b
parent: 98e0ba47150dd258c92044b1250459e13ae6fb70
author: cinap_lenrek <cinap_lenrek@felloff.net>
date: Tue Dec 1 19:53:58 EST 2020

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.

--- a/sys/src/cmd/rio/wind.c
+++ b/sys/src/cmd/rio/wind.c
@@ -129,6 +129,7 @@
 		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);
--