gnome-shell

History

Florian Müllner 6c8eb1a18e volume: Only emit sound feedback after volume changes

gnome-settings-daemon doesn't play the volume change sound when
the volume stayed the same (that is, it is already at its maximum
or minimum). This looks like the right thing to do, so copy its
behavior.

https://gitlab.gnome.org/GNOME/gnome-shell/issues/53

2019-11-23 15:08:54 +01:00

extensionPrefs

cleanup: Avoid unnecessary parentheses

2019-11-11 19:25:14 +00:00

gdm

style: Allow lonely ifs where appropriate

2019-11-11 23:51:17 +00:00

misc

cleanup: Remove another pair of unneeded parentheses

2019-11-23 01:29:20 +01:00

perf

cleanup: Require "dangling" commas