[GRASS-dev] 6.4rc5: wxgui display problems

[Moritz Lennert]

Working with 6.4rc5 compiled as deb packages on Ubuntu Intrepid, many of
my students had trouble with the map display in the wxgui, today. I've not
been able to reproduce it systematically, yet, and so am hesitant to file
this as a bug, but would like to know if others have seen something
similar.

Sometimes, the map display does not seem to refresh properly. Symptoms can
be:

- zooming in the display shows you the new zoomed map, but also the same
map in the previous zoom state.

- adding a new layer does not make this layer appear in the map display

- changing colors or other display parameters does not change the
appearance of the map, even after a full redraw of all maps

Saving the workspace, closing the display and then reloading the workspace
normally solves the problem.

Any hints of what might cause this and/or where I should look for more info ?

Moritz