在 Ubuntu 20.04 桌面上我想要:
- 隐藏 Dash。
- 仅当我按下 Super 键时才显示。
在设置 | 外观 | Dock - 我已启用“自动隐藏 Dock”,这解决了第一要求。
对于第 2 种情况,当我将鼠标移到边缘(Dock 应该在边缘)时,我不希望 Dock 自动显示。我只希望按下 Super 键时显示 Dock。如何做到这一点?
PS 我知道这应该可以工作,因为我已经在另一台计算机上进行了某种设置,但现在我不知道如何在另一台电脑上进行设置。
答案1
从终端执行以下两个命令,我的问题就解决了。
将 Dock 设置为自动隐藏:
gsettings set org.gnome.shell.extensions.dash-to-dock dock-fixed false
鼠标朝 Dash 方向移动的速度需要多快才能触发 Dock 显示。默认值为 100。设置任意高值(如 1000),则人类无法将鼠标移动得太快以致显示不出来。
gsettings set org.gnome.shell.extensions.dash-to-dock pressure-threshold 1000