Created an attachment (id=291614)
post-commit minefield screenshot
(In reply to comment #66)
> This patch should completely fix the bug, but since I don't have
> a machine that doesn't have libgnomeui I can't really tell.
Enclosed screenshot was taken on a linux x86_64 / gtk2+ build including the newly commited fix, on a system without libgnomeui installed: unfortunately, it doesn't seem to work yet. Can anyone confirm or infirm this?
Created an attachment (id=291614)
post-commit minefield screenshot
(In reply to comment #66)
> This patch should completely fix the bug, but since I don't have
> a machine that doesn't have libgnomeui I can't really tell.
Enclosed screenshot was taken on a linux x86_64 / gtk2+ build including the newly commited fix, on a system without libgnomeui installed: unfortunately, it doesn't seem to work yet. Can anyone confirm or infirm this?