Hi. This help topic seems rather useful for us: https://help.gnome.org/users/gnome-help/stable/shell-keyboard-shortcuts.html.en -- CYa, ⡍⠁⠗⠊⠕