fix for bug #27715: 2 (minor) graphic issues
authorH.G. Muller <h.g.muller@hccnet.nl>
Wed, 21 Oct 2009 02:06:43 +0000 (19:06 -0700)
committerArun Persaud <arun@nubati.net>
Wed, 21 Oct 2009 02:06:43 +0000 (19:06 -0700)
commit912ee1f95a49097bd2f3f0c00f25361aa0be2594
tree71e66ca79ea0b25f12866515e894ea4463d9e938
parent585ec3ba5393b7436690ebb352017a2808bcadad
fix for bug #27715: 2 (minor) graphic issues

I forced a total redraw when Reset is called from the ICS code in case a
new game is encountered, in the hope it will make the reported
(irreproducible) problem go away. As game switches are not frequent, I
guess there is hardly any downside to this.
backend.c