Переключатель рабочих пространств жестко запрограммирован на Ctrl-F1
.. Ctrl-F4
в Mint. Я бы хотел изменить его на Super-F1
..., но я даже не знаю, где это настраивается.
Возможно ли это? Как? С редактором клавиатуры (gui) нет возможности задать сочетания клавиш переключателя Workspace.
решение1
Это настраивается в разделе «Настройки» / «Диспетчер окон» / «Клавиатура».
К сожалению, я не могу ничего сделать с ярлыками по умолчанию в Mint 17.1 Xfce - см. мой ответздесьчтобы показать, как я изменил его вручную.
решение2
Я полагаю, что вы заходите в менеджер настроек, клавиатуру и переходите в сочетания клавиш приложений. P.S. Вы также помогли мне узнать назначение клавиш, я не очень хорошо понимаю менеджер сочетаний клавиш на основе команд, спасибо!