[solved] Keyboard shortcuts в третьем гноме
Debian wheezy, gmome 3.4. В настройках клавиатуры в Shortcuts/Windows приделал к Toggle maximisation state кнопку Alt-F5, к которой я исторически привык. Фиг там, не работает. Точнее, работает наполовину: в максимизированном окне она возвращает его первоначальный размер, а в немаксимизированном ничего не делает.

Пошёл копать вглубь, и выдали мне фигню какую-то, к этому событию оказались приделаны сразу две кнопки:

$ gsettings get org.gnome.desktop.wm.keybindings toggle-maximized
['<Alt>F5', '<Alt>F10']

Проверил Alt-F10 - в натуре, работает. Но откуда она взялась и почему не работает явно настроенная Alt-F5? ЧЯДНТ?

Upd: Попробовал оставить только Alt-F5:

$ gsettings set org.gnome.desktop.wm.keybindings toggle-maximized "['<Alt>F5']"

. Alt-F10 работать перестала, Alt-F5 продолжила работать только в режиме unmaximize. Привязал обратно Alt-F10:

$ gsettings set org.gnome.desktop.wm.keybindings toggle-maximized "['<Alt>F5','<Alt>F10']"

, она заработала, а у Alt-F5 опять ничего не изменилось..

Upd2: Оказалось, что Alt-F5 была ещё с какого-то бодуна привязана к unmaximize:

$ gsettings get  org.gnome.desktop.wm.keybindings unmaximize
['<Super>Down', '<Alt>F5']

После ручного отвязывания нафиг всех кнопок от unmaximize

$ gsettings set  org.gnome.desktop.wm.keybindings unmaximize "['']"

Alt-F5 таки стала нормально работать для toggle-maximized.

Но в целом это оставляет ощущение "наши пластинки и к нашему же проигрывателю не подходят".