bug#5848: closed by Jan Djärv <address@hidden> (Re: bug#5848: 23.1.95; bands of background after font change if --with-x-toolkit=no)

[Ted Phelps]

GNU bug Tracking System writes:
> #5848: 23.1.95; bands of background after font change if --with-x-toolkit=no
> 
> It has been closed by Jan Dj=C3=A4rv <jan.h.d@swipnet.se>.

I can confirm that Jan's patch resolves the issue I reported.

As a bonus, it also fixes an issue which I had not yet reported where
the size of the mini-buffer (or, more likely, the whole frame) was too
large after a resize operation.

Thanks for the speedy resolution!

-Ted