brl/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Move HotCorner to chrome instead of in the panel

Browse Source 
This prepares for there being multiple hot corners, one per monitor.

https://bugzilla.gnome.org/show_bug.cgi?id=642881
This commit is contained in:
Alexander Larsson
2011-02-23 14:35:45 +01:00
parent 196d10454a
commit 259c84ed9a
2 changed files with 18 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
js/ui/main.js
View File

@ -48,6 +48,7 @@ DEFAULT_BACKGROUND_COLOR.from_pixel(0x2266bbff);
let chrome = null;
let panel = null;
let hotCorner = null;
let placesManager = null;
let overview = null;
let runDialog = null;
@ -140,6 +141,7 @@ function start() {
magnifier = new Magnifier.Magnifier();
statusIconDispatcher = new StatusIconDispatcher.StatusIconDispatcher();
panel = new Panel.Panel();
hotCorner = new Panel.HotCorner();
wm = new WindowManager.WindowManager();
messageTray = new MessageTray.MessageTray();
notificationDaemon = new NotificationDaemon.NotificationDaemon();
@ -389,6 +391,11 @@ function _getAndClearErrorStack() {
function _relayout() {
let primary = global.get_primary_monitor();
if (St.Widget.get_default_direction() == St.TextDirection.RTL)
hotCorner.actor.set_position(primary.x + primary.width, primary.y);
else
hotCorner.actor.set_position(primary.x, primary.y);
panel.setHotCorner(hotCorner);
panel.actor.set_position(primary.x, primary.y);
panel.actor.set_size(primary.width, Panel.PANEL_HEIGHT);
overview.relayout();