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,797

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

PRATAP-PANABAKA
  • 23,291
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.

seoyeon
  • 1
  • Your answer could be improved with additional supporting information. Please [edit] to add further details, such as citations or documentation, so that others can confirm that your answer is correct. You can find more information on how to write good answers in the help center. – Community Apr 15 '24 at 07:08