Я пытаюсь выяснить, как я могу изменить ярлыки тайлинга окна в Ubuntu 13.04. В настоящее время они настроены на <Ctrl><Alt>numpadn
.
Сначала я попытался проверить ярлыки, доступные в настройках клавиатуры в
System Settings
> Keyboard
> Shortcuts
>Windows
но его там не было Затем я открыл dconf-editor
и провел
org.gnome.desktop.wm.keybindings
. Там я нашел следующие клавиши:
move-to-center
, move-to-corner-ne
, move-to-corner-nw
, ...
Все они установлены на значение по умолчанию, которое является текущим рабочим (например, move-to-corner-nw
=> ['<Primary><Alt>KP_Home']
). Когда я пытаюсь изменить это, ничего не происходит, независимо от того, на какой ярлык я меняю, вместо этого используется значение по умолчанию. Для других ключей в той же схеме, таких как switch-to-workspace-1
или minimize
изменения, установленные в них, они работают.
Мой вопрос: почему значения move-to-...
ключей игнорируются? Как я могу сделать это изменение ярлыка?
Благодарю.
ciuncan