@Christoph Gritschenberger:
Thanks for posting your summary, that helped answering my questions:
in #5: Right Super Key is <Mod4>
in #26: keys for magnifier are in dconf in org/gnome/settings-daemon/plugins/media-keys
(all paths:
org/gnome/settings-daemon/plugins/media-keys
org/gnome/mutter/keybindings
org/gnome/desktop/wm/keybindings
org/gnome/shell/keybindings
why are they so cluttered...?)
@Christoph Gritschenberger: settings- daemon/ plugins/ media-keys gnome/settings- daemon/ plugins/ media-keys gnome/mutter/ keybindings gnome/desktop/ wm/keybindings gnome/shell/ keybindings
Thanks for posting your summary, that helped answering my questions:
in #5: Right Super Key is <Mod4>
in #26: keys for magnifier are in dconf in org/gnome/
(all paths:
org/
org/
org/
org/
why are they so cluttered...?)