keyboard shortcutes

Hi

perhaps we should also check, if we can adjust keyboard shortcuts to be
more in line with the different OS we are using (not sure what the
status on that is)...

For gnome, there is some information available here:

https://developer.gnome.org/hig/stable/keyboard-input.html.en

Arun