Comment 5 for bug 486089

After changing the theme, form 'plain' to 'tango flat' or 'tango shaded' , the game was playable (again). However, changing the theme back to 'plain' did not lead to any difference, i.e. the bug was not reproducable. It could be that het theme changing twice has some kind of positive effect.

A point of interest: changing a theme, leads to a crash. I post a separate bug for this.