1. 2021-12-15 Re: change program-hot key gnome Arnold Sykosch via 2. 2021-12-15 change program-hot key gnome Mohsen Pahlevanzad