VesperOS/gnome-shell-extensions
6
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

dock: restore strut management

Browse Source 
When configured not to auto-hide, the dock should modify struts
so that it doesn't cover maximized windows.
This commit is contained in:
Giovanni Campagna
2011-12-20 18:59:20 +01:00
parent a70c9b7f5d
commit 5bf1339ef1
1 changed files with 6 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
extensions/dock/extension.js
+6 -1
View File
@@ -381,7 +381,8 @@ Dock.prototype = {
this._overviewHiddenId = Main.overview.connect('hidden', Lang.bind(this, function() {
this.actor.show();
}));
Main.layoutManager.addChrome(this.actor);
Main.layoutManager.addChrome(this.actor,
{ affectsStruts: !this._settings.get_boolean(DOCK_HIDE_KEY) });
//hidden
this._settings.connect('changed::'+DOCK_POSITION_KEY, Lang.bind(this, function (){
@@ -406,6 +407,10 @@ Dock.prototype = {
if (!this._settings)
return;
Main.layoutManager.removeChrome(this.actor);
Main.layoutManager.addChrome(this.actor,
{ affectsStruts: !this._settings.get_boolean(DOCK_HIDE_KEY) });
hideable = this._settings.get_boolean(DOCK_HIDE_KEY);
if (hideable){
hideDock=false;