mirror of
https://github.com/elementary/gala.git
synced 2024-11-25 03:06:14 +01:00
PanelWindow: Don't use custom size for positioning, correct y for bottom panels (#2108)
Co-authored-by: Stanisław <6031763+stsdc@users.noreply.github.com> Co-authored-by: Ryan Kornheisl <ryan@skarva.tech>
This commit is contained in:
parent
98f8cafe70
commit
63d06f8b95
@ -69,6 +69,11 @@ public class Gala.PanelWindow : Object {
|
|||||||
|
|
||||||
if (height > 0) {
|
if (height > 0) {
|
||||||
window_rect.height = height;
|
window_rect.height = height;
|
||||||
|
|
||||||
|
if (anchor == BOTTOM) {
|
||||||
|
var geom = wm.get_display ().get_monitor_geometry (window.get_monitor ());
|
||||||
|
window_rect.y = geom.y + geom.height - height;
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
return window_rect;
|
return window_rect;
|
||||||
@ -92,7 +97,7 @@ public class Gala.PanelWindow : Object {
|
|||||||
private void position_window () {
|
private void position_window () {
|
||||||
var display = wm.get_display ();
|
var display = wm.get_display ();
|
||||||
var monitor_geom = display.get_monitor_geometry (display.get_primary_monitor ());
|
var monitor_geom = display.get_monitor_geometry (display.get_primary_monitor ());
|
||||||
var window_rect = get_custom_window_rect ();
|
var window_rect = window.get_frame_rect ();
|
||||||
|
|
||||||
switch (anchor) {
|
switch (anchor) {
|
||||||
case TOP:
|
case TOP:
|
||||||
|
Loading…
Reference in New Issue
Block a user