18.04 Ярлык изменения для переключения рабочей области
Я не мог найти способ изменить ярлык для перемещения между рабочими областями (Ctrl+Alt+Up/Down/Left/Right). Когда я перехожу к настройкам клавиатуры, я могу изменить ярлыки, которые позволяют мне "перейти" к определенной рабочей области, но нет никаких записей для "перемещения" между рабочими областями. Я также пытался искать ярлыком, но например, Ctrl+Alt+Up не приводит ни к каким результатам. "Перемещение..." записи, видимые в этом сообщении https://askubuntu.com/a/102289/458859, просто отсутствует.
Интересно, возможно ли вообще, измениться
1 ответ
Установка доступна, но не выставляется в пользовательском интерфейсе.
Можно установить dconf-редактора, чтобы иметь графический интерфейс для изменения множества настроек. Настройки, которые Вы ищете,
org.gnome.desktop.wm.keybindings switch-to-workspace-down ['<Super>Page_Down', '<Control><Alt>Down']
и
org.gnome.desktop.wm.keybindings switch-to-workspace-up ['<Super>Page_Up', '<Control><Alt>Up']
Можно изменить присвоенные ключи с помощью dconf-редактирования. Настройки могут также быть изменены через терминал с gsettings команды, например, команду
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-down "['<Super>Page_Down', '<Control><Alt>Down', '<Alt>d']"
добавил бы Alt+d как сочетание клавиш для переключения на рабочую область вниз.
Можно сбросить dconf, устанавливающий на установку заводской настройки с gsettings reset, как в
gsettings reset org.gnome.desktop.wm.keybindings switch-to-workspace-down