Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- From 7c9eb847a49e0ddbccc468f7a03777b3e1e20337 Mon Sep 17 00:00:00 2001
- From: Tim Lunn <tim@feathertop.org>
- Date: Tue, 5 Mar 2013 17:49:35 +1100
- Subject: [PATCH] layout: fix errors in fallback HotCorner function
- ---
- js/ui/layout.js | 6 +++---
- 1 file changed, 3 insertions(+), 3 deletions(-)
- diff --git a/js/ui/layout.js b/js/ui/layout.js
- index 63d040d..6ca5d84 100644
- --- a/js/ui/layout.js
- +++ b/js/ui/layout.js
- @@ -1112,7 +1112,7 @@ const HotCorner = new Lang.Class({
- this._x = x;
- this._y = y;
- - this._setupFallbackCornerIfNeeded();
- + this._setupFallbackCornerIfNeeded(layoutManager);
- this._pressureBarrier = new PressureBarrier(HOT_CORNER_PRESSURE_THRESHOLD,
- HOT_CORNER_PRESSURE_TIMEOUT,
- @@ -1156,10 +1156,10 @@ const HotCorner = new Lang.Class({
- }
- },
- - _setupFallbackCornerIfNeeded: function() {
- + _setupFallbackCornerIfNeeded: function(layoutManager) {
- if (!global.display.supports_extended_barriers()) {
- this.actor = new Clutter.Actor({ name: 'hot-corner-environs',
- - x: x, y: y,
- + x: this._x, y: this._y,
- width: 3,
- height: 3,
- reactive: true });
- --
- 1.8.1.2
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement