Я пытаюсь выяснить, как я могу изменить ярлыки тайлинга окна в 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
