GNOME Bugzilla – Bug 692680
Clean up our code that deals with monitor geometry and the work area
Last modified: 2013-02-07 03:36:29 UTC
Lots of places use Main.panel.actor.height directly, which sort of bugs me out for various reasons. Let's replace these with mutter's own work area calculations.
Created attachment 234592 [details] [review] workspace: Use mutter's work area calcuating rather than doing it manually
Created attachment 234593 [details] [review] layout: Use the mutter functions for doing monitor math
Created attachment 234594 [details] [review] Switch all external uses of Main.panel.actor.height to the work area
Review of attachment 234592 [details] [review]: Yes, definitely.
Review of attachment 234594 [details] [review]: ::: js/ui/overview.js @@ +380,3 @@ this._overview.set_size(primary.width, primary.height); + this._coverPane.set_position(0, workArea.width); This doesn't look right... And neither does primary.width below.
Review of attachment 234593 [details] [review]: Makes sense.
Created attachment 235342 [details] [review] Switch all external uses of Main.panel.actor.height to the work area
Review of attachment 235342 [details] [review]: Ok
Attachment 234592 [details] pushed as 0335f27 - workspace: Use mutter's work area calcuating rather than doing it manually Attachment 234593 [details] pushed as 60985b3 - layout: Use the mutter functions for doing monitor math Attachment 235342 [details] pushed as 12ac2e5 - Switch all external uses of Main.panel.actor.height to the work area