Глядя на страницу справки GNOME, я вижу, что в диалоге сочетаний клавиш должен быть раздел "Навигация". Но когда я нахожусь в этой области настроек, я вижу тонны сочетаний клавиш, которые я могу изменить, но нет раздела навигации. Это было удалено в GNOME 3.30? Если да, как я могу изменить сочетания клавиш для навигации по окнам в GNOME? Я хотел бы, скажем, изменить ярлык для перехода к следующему рабочему пространству.