|
1
|
+From b5b27d5e6c3b5625a4ac2ad45fabb7ddff56bc15 Mon Sep 17 00:00:00 2001
|
|
2
|
+From: smarkus <markus262@web.de>
|
|
3
|
+Date: Tue, 8 Jan 2019 21:47:32 +0100
|
|
4
|
+Subject: [PATCH] changed plank positioning according to workarea
|
|
5
|
+
|
|
6
|
+---
|
|
7
|
+ lib/PositionManager.vala | 4 ++--
|
|
8
|
+ 1 file changed, 2 insertions(+), 2 deletions(-)
|
|
9
|
+
|
|
10
|
+diff --git a/lib/PositionManager.vala b/lib/PositionManager.vala
|
|
11
|
+index 3f140e89..e018167b 100644
|
|
12
|
+--- a/lib/PositionManager.vala
|
|
13
|
++++ b/lib/PositionManager.vala
|
|
14
|
+@@ -65,7 +65,7 @@ namespace Plank
|
|
15
|
+ screen.composited_changed.connect (screen_composited_changed);
|
|
16
|
+
|
|
17
|
+ // NOTE don't call update_monitor_geo to avoid a double-call of dockwindow.set_size on startup
|
|
18
|
+- screen.get_monitor_geometry (find_monitor_number (screen, controller.prefs.Monitor), out monitor_geo);
|
|
19
|
++ monitor_geo = screen.get_monitor_workarea (find_monitor_number (screen, controller.prefs.Monitor));
|
|
20
|
+
|
|
21
|
+ screen_is_composited = screen.is_composited ();
|
|
22
|
+ }
|
|
23
|
+@@ -134,7 +134,7 @@ namespace Plank
|
|
24
|
+ {
|
|
25
|
+ var old_monitor_geo = monitor_geo;
|
|
26
|
+
|
|
27
|
+- screen.get_monitor_geometry (find_monitor_number (screen, controller.prefs.Monitor), out monitor_geo);
|
|
28
|
++ var monitor_geo = screen.get_monitor_workarea (find_monitor_number (screen, controller.prefs.Monitor));
|
|
29
|
+
|
|
30
|
+ // No need to do anything if nothing has actually changed
|
|
31
|
+ if (old_monitor_geo.x == monitor_geo.x
|