我最近在 Ubuntu 18.04 上为 Gnome 安装了“dash-to-dock”扩展,因为我喜欢它的外观,而不是默认的 Dock。
我喜欢这个扩展,虽然我不喜欢自动隐藏功能,因为我喜欢一直看到 Dock,所以我可以看到我打开了哪些应用程序以及消息的徽章图标等。我关闭了自动隐藏功能。虽然当我这样做时,我得到了这个:
The dock pushed up the window instead of overlaying it as I expected it would and how it appeared when autohide was enabled. I checked in settings but I wasn't able to find anything to change this. I also tried the 'dash-to-pannel' extension but it didn't acheive what I wanted. There didn't seem to be much about this online either.
I was wondering if there was a way to achieve this either by using this extension or another one or is it just not possible in Gnome?
If you want to see the dock at all times.. here is the workaround..
Don't turnoff the Auto-hide feature as you mentioned in the Question.
locate the dash-to-dock extension
direcotry, it could be either in $HOME/.local/share/gnome-shell/extensions/
or /usr/share/gnome-shell/extensions/
open the file intellihide.js
, in my case it is
$HOME/.local/share/gnome-shell/extensions/[email protected]/intellihide.js
at line number 105 (this._isEnabled = true;
) # Change the value to false
enable: function() {
this._isEnabled = false;
this._status = OverlapStatus.UNDEFINED;
global.get_window_actors().forEach(function(wa) {
this._addWindowSignals(wa);
}, this);
this._doCheckOverlap();
},
保存文件并关闭。
使用 Alt+F2 键入 r 刷新 gnome-shell 并按 Enter
本文收集自互联网,转载请注明来源。
如有侵权,请联系[email protected] 删除。
我来说两句