[PATCH] Possible fix for the microgui issue

[Christopher Roy Bratusek]

Hi all,

I would like you to try the patch for this issue:

http://bugzilla.gnome.org/show_bug.cgi?id=568574

Thanks in advance,
Chris