Use Gnome dash-to-dock without autohide
Solution 1:
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();
},
save the file & close.
refresh the gnome-shell with Alt+F2 type r and press Enter