Мне нравится поведение сменщика окон Alt-Tab Gnome-Shell, но есть небольшая задержка при нажатии Alt + Tab, что меня беспокоит. Есть ли способ заставить его всплывать сразу или, по крайней мере, уменьшить задержку?
Ну, вы можете изменить это в файле .js alt-tab.
В
/usr/share/gnome-shell/js/ui/altTab.js
Почти в начале файла эта строка [ ! d2]
const POPUP_DELAY_TIMEOUT = 150; // milliseconds
Измените его, сохраните и перезапустите gnome-shell (Alt + F2 type 'r', или выйдите из системы и войдите снова).
Начиная с gnome 3.12, файлы интерфейса Javascript встроены внутри libgnome-shell.so. См. Этот пост.
Начиная с 13.10 эта настройка теперь находится в /usr/share/gnome-shell/js/ui/switcherPopup.js.