Alt我喜欢 Gnome-Shell 的 Alt-Tab 窗口切换器的行为,但按下+时会有轻微的延迟Tab,这让我很烦恼。有没有办法让它立即弹出,或者至少减少延迟?
答案1
嗯,您可以在 alt-tab 的 .js 文件中更改它。
在
/usr/share/gnome-shell/js/ui/altTab.js
在文件的开头,有这样一行
const POPUP_DELAY_TIMEOUT = 150; // milliseconds
更改它,保存并重新启动 gnome-shell(Alt+F2 输入‘r’,或注销并重新登录)。
答案2
从 gnome 3.12 开始,Javascript UI 文件嵌入其中libgnome-shell.so
。请参阅这个帖子。
答案3
从 13.10 开始,此设置现在位于/usr/share/gnome-shell/js/ui/switcherPopup.js
。