gnome-shell remove barrier

--- gnome-shell-3.6.3.1/debian/changelog    2013-02-21 13:34:55.000000000 +1100
+++ gnome-shell-3.6.3.1/debian/changelog    2013-02-24 13:31:45.000000000 +1100
@@ -1,3 +1,10 @@
+gnome-shell (3.6.3.1-0ubuntu2) raring; urgency=low
+
+  * debian/patches:
+    - git_remove_messagetray_barrier.patch: (LP: #1132308)
+
+ -- Tim Lunn <tim@feathertop.org>  Sun, 24 Feb 2013 13:30:51 +1100
+
 gnome-shell (3.6.3.1-0ubuntu1) raring; urgency=low

   * New upstream release (LP: #1128804)
--- gnome-shell-3.6.3.1/debian/control  2013-02-21 13:34:58.000000000 +1100
+++ gnome-shell-3.6.3.1/debian/control  2013-02-24 13:32:25.000000000 +1100
@@ -7,7 +7,7 @@
 Priority: optional
 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
 XSBC-Original-Maintainer: Debian GNOME Maintainers <pkg-gnome-maintainers@lists.alioth.debian.org>
-Uploaders: Debian GNOME Maintainers <pkg-gnome-maintainers@lists.alioth.debian.org>, Jeremy Bicha <jbicha@ubuntu.com>, Sjoerd Simons <sjoerd@debian.org>
+Uploaders: Debian GNOME Maintainers <pkg-gnome-maintainers@lists.alioth.debian.org>, Jeremy Bicha <jbicha@ubuntu.com>
 Build-Depends: autotools-dev,
                cdbs,
                debhelper (>= 8.1.3~),
--- gnome-shell-3.6.3.1/debian/patches/git_remove_messagetray_barrier.patch 1970-01-01 10:00:00.000000000 +1000
+++ gnome-shell-3.6.3.1/debian/patches/git_remove_messagetray_barrier.patch 2013-02-24 13:30:28.000000000 +1100
@@ -0,0 +1,54 @@
+
+m 2781a84519b27816c009acd820872cfcc7e4854e Mon Sep 17 00:00:00 2001
+From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
+Date: Fri, 2 Nov 2012 16:16:12 +0100
+Subject: [PATCH] layout: Remove message tray pointer barrier
+
+The barrier was introduced to make the message tray hot corner
+usable in multiple monitor setups. With the hot corner gone in
+3.6, the pointer barrier doesn't make much sense anymore, so
+remove it.
+
+https://bugzilla.gnome.org/show_bug.cgi?id=687457
+---
+ js/ui/layout.js | 18 ------------------
+ 1 file changed, 18 deletions(-)
+
+diff --git a/js/ui/layout.js b/js/ui/layout.js
+index 168b986..0b3aa56 100644
+--- a/js/ui/layout.js
++++ b/js/ui/layout.js
+@@ -128,8 +128,6 @@ const LayoutManager = new Lang.Class({
+         this.trayBox = new St.Widget({ name: 'trayBox',
+                                        layout_manager: new Clutter.BinLayout() });
+         this.addChrome(this.trayBox);
+-        this.trayBox.connect('allocation-changed',
+-                             Lang.bind(this, this._updateTrayBarrier));
+
+         this.keyboardBox = new St.BoxLayout({ name: 'keyboardBox',
+                                               reactive: true,
+@@ -280,22 +278,6 @@ const LayoutManager = new Lang.Class({
+         }
+     },
+
+-    _updateTrayBarrier: function() {
+-        let monitor = this.bottomMonitor;
+-
+-        if (this._trayBarrier)
+-            global.destroy_pointer_barrier(this._trayBarrier);
+-
+-        if (Main.messageTray) {
+-            this._trayBarrier =
+-                global.create_pointer_barrier(monitor.x + monitor.width, monitor.y + monitor.height - Main.messageTray.actor.height,
+-                                              monitor.x + monitor.width, monitor.y + monitor.height,
+-                                              4 /* BarrierNegativeX */);
+-        } else {
+-            this._trayBarrier = 0;
+-        }
+-    },
+-
+     _monitorsChanged: function() {
+         this._updateMonitors();
+         this._updateBoxes();
+--
+1.7.12.1
--- gnome-shell-3.6.3.1/debian/patches/series   2013-02-21 13:34:55.000000000 +1100
+++ gnome-shell-3.6.3.1/debian/patches/series   2013-02-24 13:30:40.000000000 +1100
@@ -7,3 +7,4 @@
 ubuntu_lock_on_suspend.patch
 git-set-ally-wm-theme.patch
 calendar-remove-strict-check.patch
+git_remove_messagetray_barrier.patch