3 autohide gnome-shell-extension gnome-shell ubuntu-dock dash-to-dock
我最近在 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,就我而言是
$HOME/.local/share/gnome-shell/extensions/dash-to-dock@micxgx.gmail.com/intellihide.js
Run Code Online (Sandbox Code Playgroud)
在第 105 行 ( this._isEnabled = true;) # 将值更改为false
enable: function() {
this._isEnabled = false;
this._status = OverlapStatus.UNDEFINED;
global.get_window_actors().forEach(function(wa) {
this._addWindowSignals(wa);
}, this);
this._doCheckOverlap();
},
Run Code Online (Sandbox Code Playgroud)
保存文件并关闭。
使用 Alt+F2 键入 r 刷新 gnome-shell,然后按 Enter
| 归档时间: |
|
| 查看次数: |
6027 次 |
| 最近记录: |