diff options
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."); + } |