-
Jeremy Bicha authored
It doesn't affects headerbars which most GNOME apps uses, but it's still useful for other apps like GNOME Terminal. Closes #137
1433bf55
It doesn't affects headerbars which most GNOME apps uses, but it's still useful for other apps like GNOME Terminal. Closes #137