当鼠标指针位于 Ubuntu 20.04 的扩展坞上时，我似乎无法通过滚动鼠标滚轮来切换工作区。
通过鼠标在扩展坞上滚动来切换工作区：org.gnome.shell.extensions.dash-to-dock.scroll-switch-workspace使用默认值，即true. 但是这个设置似乎不起作用。
滚动应用程序图标时切换工作区，org.gnome.shell.extensions.dash-to-dock.scroll-action使用默认值，即'switch-workspace'此设置有效。
我该如何解决这个问题？
我发现了以下内容：
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 的源代码在
/usr/share/gnome-shell/extensions/[email protected]其中，其行为由 java 脚本控制。我怀疑当鼠标指针位于收藏应用程序按钮之间的停靠空间时，需要更改docking.js和/或允许通过鼠标滚轮切换工作区。dash.js