当鼠标指针位于 Ubuntu 20.04 的 Dock 上时,我似乎无法通过滚动鼠标滚轮来切换工作区。
通过鼠标滚动到 dock 来切换工作区:org.gnome.shell.extensions.dash-to-dock.scroll-switch-workspace
使用默认值,即true
。但这个设置似乎不起作用。
在应用程序图标上滚动时切换工作区,org.gnome.shell.extensions.dash-to-dock.scroll-action
使用默认值,即'switch-workspace'
此设置有效。
我该如何修复此问题?
答案1
我发现了以下情况:
- 默认情况下,
org.gnome.shell.extensions.dash-to-dock.custom-theme-shrink
默认值为true
。激活此设置后,停靠高度会缩小到停靠中按钮的高度。未激活此设置时,停靠高度将扩大,露出按钮上方和下方的停靠空间。当鼠标指针位于这些露出的停靠空间时,我可以使用鼠标滚轮切换工作区。 - 注意,无论 的设置如何,按钮左右两侧始终会露出停靠空间。
org.gnome.shell.extensions.dash-to-dock.custom-theme-shrink
但是,它们不能与鼠标滚轮一起使用来滚动工作区。我怀疑这是 ubuntu-dock 的一个错误,需要纠正。
ubuntu-dock 的源代码在,其行为由 JavaScript 控制。我怀疑需要进行更改,以允许在鼠标指针位于收藏夹应用程序按钮之间的停靠空间时通过鼠标滚轮切换工作区。/usr/share/gnome-shell/extensions/[email protected]
docking.js
dash.js