diff options
author | Que Quotion | 2020-06-20 12:47:43 +0900 |
---|---|---|
committer | Que Quotion | 2020-06-20 12:47:43 +0900 |
commit | 61590530f5c9dcd4d571a0df67cb53a639bf8d83 (patch) | |
tree | 471a36e8a573d0d7e66daabf79ccd43af1bb5baf /fix-for-openbox.patch | |
parent | c4520637d15c1361dd1d4b4489edbffc97f81b30 (diff) | |
download | aur-61590530f5c9dcd4d571a0df67cb53a639bf8d83.tar.gz |
Update minus-backgroundmanager.patch, include (temporary) patch to fix strut behavior in openbox, actually remove reverse-105c1d0.patch
Diffstat (limited to 'fix-for-openbox.patch')
-rw-r--r-- | fix-for-openbox.patch | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/fix-for-openbox.patch b/fix-for-openbox.patch new file mode 100644 index 000000000000..01af1c910bc3 --- /dev/null +++ b/fix-for-openbox.patch @@ -0,0 +1,28 @@ +diff --git a/src/PanelWindow.vala b/src/PanelWindow.vala +index 9c24feb..c97ece3 100644 +--- a/src/PanelWindow.vala ++++ b/src/PanelWindow.vala +@@ -169,7 +169,11 @@ public class Wingpanel.PanelWindow : Gtk.Window { + + long struts[12] = { 0 }; + var scale_factor = this.get_scale_factor (); +- if (no_monitor_left) { ++ if (no_monitor_above) { ++ struts [2] = (monitor_y - panel_displacement) * scale_factor; ++ struts [8] = monitor_x * scale_factor; ++ struts [9] = (monitor_x + monitor_width) * scale_factor - 1; ++ } else if (no_monitor_left) { + struts [0] = (monitor_x + monitor_width) * scale_factor; + struts [4] = monitor_y * scale_factor; + struts [5] = (monitor_y - panel_displacement) * scale_factor - 1; +@@ -177,10 +181,6 @@ public class Wingpanel.PanelWindow : Gtk.Window { + struts [1] = (screen_width - monitor_x) * scale_factor; + struts [6] = monitor_y * scale_factor; + struts [7] = (monitor_y - panel_displacement) * scale_factor - 1; +- } else if (no_monitor_above) { +- struts [2] = (monitor_y - panel_displacement) * scale_factor; +- struts [8] = monitor_x * scale_factor; +- struts [9] = (monitor_x + monitor_width) * scale_factor - 1; + } else { + warning ("Unable to set struts, because Wingpanel is not at the edge of the Gdk.Screen area."); + } |