我经常需要复制粘贴并在屏幕边缘使用 GUI 控件。
在以前的版本中，Ubuntu Dock 可以配置为仅在光标位于角落时显示，而不仅仅是在边缘，并且可以将“灵敏度”参数设置为较高以防止意外触发 Dock。
这些似乎不存在于 Ubuntu 17.10 控制面板中。17.10 中是否有一些扩展或隐藏的配置选项可以：
- 当光标位于左上角时显示 Dock，而不仅仅是在左侧，和/或
- 改变 Dock 自动显示的灵敏度？
答案1
按照以下步骤使用改变灵敏度dconf-editor：
- 选择偏好
org.gnome.shell.extensions.dash-to-dock.pressure-threshold。 - 将“使用默认值”滑块设置为关闭。
- 在“自定义值”框中输入自定义值。默认值为，
100并且似乎周围的值500会使其不那么敏感。
对我来说，值为1000似乎使得打开 Dock 变得不可能，所以这证明该设置似乎确实在做一些事情，而可能不仅仅是我的想象。