-
Tim-Philipp Müller authored
We would get a green border instead of a black one, for example. https://bugzilla.gnome.org/show_bug.cgi?id=684991
efaa80fb
We would get a green border instead of a black one, for example. https://bugzilla.gnome.org/show_bug.cgi?id=684991