Skip to content
GitLab
Explore
Sign in
GNOME
gnome-settings-daemon
Repository
gnome-settings-daemon
plugins
media-keys
shortcuts-list.h
Find file
Blame
History
Permalink
media-keys: Add a precise volume change shortcut
· e1179ada
Bastien Nocera
authored
Jun 25, 2017
and
Rui Matos
committed
Jul 14, 2017
3 precise presses = 1 non-precise press
https://bugzilla.gnome.org/show_bug.cgi?id=650371
e1179ada