diff options
Diffstat (limited to 'autohide.patch')
-rw-r--r-- | autohide.patch | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/autohide.patch b/autohide.patch index 74587a3e0f8a..c4f11d0af7fe 100644 --- a/autohide.patch +++ b/autohide.patch @@ -98,7 +98,7 @@ index c48b5ea..81ec2f2 100644 return true; } -@@ -91,7 +115,173 @@ public class Wingpanel.PanelWindow : Gtk.Window { +@@ -91,7 +115,174 @@ public class Wingpanel.PanelWindow : Gtk.Window { Services.BackgroundManager.initialize (this.monitor_number, panel_height); @@ -197,7 +197,8 @@ index c48b5ea..81ec2f2 100644 + + private bool is_maximized_at_all (Wnck.Window window) { + return (window.is_maximized_horizontally () -+ || window.is_maximized_vertically ()); ++ || window.is_maximized_vertically () ++ || window.is_fullscreen ()); + } + + private bool hide_panel () { |