Heh, it HAD been reported, but Bugzilla search didn't find a match as I was writing up my title, probably because mine was too specific...
Here we go: https://bugzilla.gnome.org/show_bug.cgi?id=769076 ...and there are patches there, though I can't see any indication that a fix has been committed yet, but it's definitely in the works. Cheers!
_______________________________________________ gtkmm-list mailing list gtkmm-list@gnome.org https://mail.gnome.org/mailman/listinfo/gtkmm-list
