5

I recently installed the 'dash-to-dock' extension for Gnome on Ubuntu 18.04 as I liked the way it looked as opposed to the default dock.

I liked the extension although I wasn't keen on the auto-hide feature as I like to see the dock at all times so I can see what applications I have open and badge icons for messages, etc. I turned off the autohide feature. Although when I did that I got this:

screenshot of autohide disabled

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?

pomsky
  • 70,557

2 Answers2

6

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/dash-to-dock@micxgx.gmail.com/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();
},

save the file & close.
refresh the gnome-shell with Alt+F2 type r and press Enter

enter image description here

enter image description here

enter image description here

enter image description here

0

I am using Ubuntu 20.04.6 LTS.

PRATAP's solution didn't work for me initially, but the problem was that I hadn't remove Dash to Panel gnome shell extension.

You can simply remove an extension via the website:

https://extensions.gnome.org/local/

Just click the red X button to uninstall the extension instead of trying it on CLI.

After removing the panel, it works like this.