Broken in rev.8851 (first checkin on branch exp-kees-gtk3) when it was not yet decided to keep the gtk+-2.0 implementation alive, since gtk3 is not yet supported
by python and browsers (Firefox).
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Broken in rev.8851 (first checkin on branch exp-kees-gtk3) when it was not yet decided to keep the gtk+-2.0 implementation alive, since gtk3 is not yet supported
by python and browsers (Firefox).
Fixed in rev.9119