[gnome-shell-extensions/gnome-3-2] dock: restore struts management
- From: Giovanni Campagna <gcampagna src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell-extensions/gnome-3-2] dock: restore struts management
- Date: Tue, 20 Dec 2011 18:05:13 +0000 (UTC)
commit 1cb0af8628ce10a3d0591869169b8ec13f01eac6
Author: Giovanni Campagna <gcampagna src gnome org>
Date: Tue Dec 20 19:02:25 2011 +0100
dock: restore struts management
Similar to the fix in master, restore struts handling for the dock
when not autohiding (except that we don't have GSettings here, so
no dynamic changes)
extensions/dock/extension.js | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/extensions/dock/extension.js b/extensions/dock/extension.js
index d851bb8..56a0da8 100644
--- a/extensions/dock/extension.js
+++ b/extensions/dock/extension.js
@@ -376,7 +376,7 @@ 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: !DOCK_AUTOHIDE });
this._leave_event = this.actor.connect('leave-event', Lang.bind(this, this._hideDock));
this._enter_event = this.actor.connect('enter-event', Lang.bind(this, this._showDock));
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]