elementary/gala
1
1
Fork 0
mirror of https://github.com/elementary/gala.git synced 2024-09-11 15:15:39 +03:00
Code Issues Packages Projects Releases Wiki Activity

WorkspaceClone: Fixed changing resolution breaking Multitasking View

Browse Source
This commit is contained in:
felescoto95@hotmail.com 2016-11-13 10:00:48 -06:00
parent b9e325e109
commit 9feb0e9ab8
2 changed files with 16 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Background/BackgroundManager.vala
View File

@ -118,6 +118,10 @@ namespace Gala
background.set_data<ulong> ("background-loaded-handler", handler);
}
public void set_size (float width, float height) {
background_actor.set_size (width, height);
}
Meta.BackgroundActor create_background_actor ()
{
var background = background_source.get_background (monitor_index);

14
src/Widgets/WorkspaceClone.vala
View File

@ -136,8 +136,7 @@ namespace Gala
window_container = new WindowCloneContainer ();
window_container.window_selected.connect ((w) => { window_selected (w); });
window_container.width = monitor_geometry.width;
window_container.height = monitor_geometry.height;
window_container.set_size (monitor_geometry.width, monitor_geometry.height);
screen.restacked.connect (window_container.restack_windows);
icon_group = new IconGroup (workspace);
@ -249,6 +248,14 @@ namespace Gala
remove_window (window);
}
void update_size (Meta.Rectangle monitor_geometry)
{
if (window_container.width != monitor_geometry.width || window_container.height != monitor_geometry.height) {
window_container.set_size (monitor_geometry.width, monitor_geometry.height);
background.set_size (window_container.width, window_container.height);
}
}
/**
* Utility function to shrink a MetaRectangle on all sides for the given amount.
* Negative amounts will scale it instead.
@ -282,6 +289,9 @@ namespace Gala
var monitor = screen.get_monitor_geometry (screen.get_primary_monitor ());
var scale = (float)(monitor.height - TOP_OFFSET - BOTTOM_OFFSET) / monitor.height;
var pivotY = TOP_OFFSET / (monitor.height - monitor.height * scale);
update_size (monitor);
background.set_pivot_point (0.5f, pivotY);
background.save_easing_state ();