所以我刚刚升级到 18.04 并一直在调整设置等,但我遇到了 wmctrl 的问题。我设置了一个快捷方式,用于切换窗口始终位于顶部“wmctrl -r :ACTIVE:-b toggle,above”,但更新后我无法通过 wmctrl 切换或删除它。它设置在顶部,但之后不会恢复正常,关于如何让它工作的任何想法?
所以我刚刚升级到 18.04 并一直在调整设置等,但我遇到了 wmctrl 的问题。我设置了一个快捷方式,用于切换窗口始终位于顶部“wmctrl -r :ACTIVE:-b toggle,above”,但更新后我无法通过 wmctrl 切换或删除它。它设置在顶部,但之后不会恢复正常,关于如何让它工作的任何想法?
实际上。我对此进行了更多研究并找到了解决方案。可以在这里找到。这使用内置功能,因此
wmctrl
不需要。它确实使用了 GUId 配置编辑器,但我实际上发现这个工具非常方便。请注意不要编辑您不确定它们做什么的东西。这对某些应用程序或您的系统可能是致命的。以防万一链接断开或未来的读者不希望点击链接:
sudo apt install dconf-editor
dconf-editor
以打开设置编辑器。/org/gnome/desktop/wm/keybindings
toggle-above
,注意还有一个选项always-on-top
对我不起作用Use default value
['<Shift><Alt>a']