如何在 17.10 中更改 Ubuntu Dock 的灵敏度？

Question

我经常需要在屏幕边缘复制和粘贴并使用 GUI 控件。

在以前的版本中，Ubuntu Dock 可以配置为仅在光标位于角落时显示，而不仅仅是在边缘上，并且可以将“灵敏度”参数设置为高以防止意外触发 Dock。

这些似乎不存在于 Ubuntu 17.10 控制面板中。17.10 中是否有一些扩展或隐藏的配置选项可以：

1. 当光标位于左上角而不是仅在左侧时使 Dock 显示，和/或
2. 更改 Dock 自动显示的灵敏度？

Answer 1

按照以下步骤使用 更改灵敏度dconf-editor：

1. 选择偏好org.gnome.shell.extensions.dash-to-dock.pressure-threshold。
2. 将“使用默认值”滑块设置为关闭。
3. 在“自定义值”框中输入自定义值。默认值是100，似乎周围的值500使它不那么敏感。

对我来说，一个 的值1000使得打开 Dock 似乎不可能，所以这是一些证据表明该设置似乎确实在做某事，并且可能不仅仅是我的想象。