Gnomine interface lag problem

[tjfitz]

I've had a problem with Gnome Mines since early last year, in which the board draws slowly when starting the game, and tiles are uncovered slowly when clicked. I've seen this on LMDE with Mate and Xfce, and on multiple versions of Xubuntu. I posted a bug, but nothing has come of it yet: https://bugzilla.gnome.org/show_bug.cgi?id=676612. The size issue mentioned in the bug report has been corrected.

Has anyone else had such a problem? Did gnomine start using animations of some sort, and if so, can I disable them? Prior versions of gnomine didn't have this trouble. I think it first appeared in version 3.x.