Googling reveals that this is a general problem with gtkmm applications (such as easystroke and gnome-system-monitor) that somehow depends on the theme used:
http://ubuntuforums.org/showthread.php?t=1289649
This is probably not a gtkmm bug either, but I've assigned it to gtkmm so that the gtkmm maintainer can investigate the problem.
Googling reveals that this is a general problem with gtkmm applications (such as easystroke and gnome-system- monitor) that somehow depends on the theme used:
http:// ubuntuforums. org/showthread. php?t=1289649
This is probably not a gtkmm bug either, but I've assigned it to gtkmm so that the gtkmm maintainer can investigate the problem.