[gnome-shell-extensions] [PATCH 1/2] Make dock extension actually work with gnome-3.2
- From: Giovanni Campagna <gcampagna src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell-extensions] [PATCH 1/2] Make dock extension actually work with gnome-3.2
- Date: Tue, 18 Oct 2011 08:22:02 +0000 (UTC)
commit 66242aa76a5d59fb4659551575c1fbb42e50b8fb
Author: Giovanni Campagna <gcampagna src gnome org>
Date: Tue Oct 18 10:19:50 2011 +0200
[PATCH 1/2] Make dock extension actually work with gnome-3.2
Without this patch dock is invisible, but reacts on mouse clicks
Signed-off-by: Vasily Khoruzhick <anarsoul gmail com>
extensions/dock/extension.js | 5 +++--
1 files changed, 3 insertions(+), 2 deletions(-)
---
diff --git a/extensions/dock/extension.js b/extensions/dock/extension.js
index 240f8a8..02c9650 100644
--- a/extensions/dock/extension.js
+++ b/extensions/dock/extension.js
@@ -304,7 +304,6 @@ Dock.prototype = {
this.actor.show();
}));
Main.layoutManager.addChrome(this.actor);
- this.actor.lower_bottom();
//hidden
this._settings.connect('changed::'+DOCK_POSITION_KEY, Lang.bind(this, function (){
@@ -372,6 +371,8 @@ Dock.prototype = {
this.actor.connect('leave-event', Lang.bind(this, this._hideDock));
this.actor.connect('enter-event', Lang.bind(this, this._showDock));
+
+ this._hideDock();
},
destroy: function() {
@@ -861,4 +862,4 @@ function enable() {
function disable() {
dock.destroy();
dock = null;
-}
\ No newline at end of file
+}
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]