-
Tim-Philipp Müller authored
It's nicer to only have it set when something noteworthy happened and otherwise unset. https://bugzilla.gnome.org/show_bug.cgi?id=725862
313f01ab
It's nicer to only have it set when something noteworthy happened and otherwise unset. https://bugzilla.gnome.org/show_bug.cgi?id=725862