我最近在 Ubuntu 18.04 上为 Gnome 安装了“dash-to-dock”扩展,因为我喜欢它的外观,而不是默认的扩展坞。
我喜欢这个扩展,虽然我并不热衷于自动隐藏功能,因为我喜欢一直看到扩展坞,这样我就可以看到我打开的应用程序和消息的徽章图标等。我关闭了自动隐藏功能。虽然当我这样做时,我得到了这个:
扩展坞将窗口向上推,而不是像我预期的那样覆盖它以及启用自动隐藏时它的显示方式。我检查了设置,但我找不到任何可以改变它的东西。我也尝试了“dash-to-pannel”扩展,但它没有达到我想要的效果。网上似乎也没有太多关于这个的。
我想知道是否有办法通过使用这个扩展或另一个扩展来实现这一点,或者在 Gnome 中是不可能的?
如果您想随时查看扩展坞.. 这是解决方法..
不要关闭问题中提到的自动隐藏功能。
找到
dash-to-dock extension
目录,它可能在$HOME/.local/share/gnome-shell/extensions/
或/usr/share/gnome-shell/extensions/
打开文件
intellihide.js
,在我的情况下是在第 105 行 (
this._isEnabled = true;
) # 将值更改为false
保存文件并关闭。
使用 Alt+F2 刷新 gnome-shell 输入 r 并按 Enter