diff options
Diffstat (limited to 'autohide-evbox.patch')
| -rw-r--r-- | autohide-evbox.patch | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/autohide-evbox.patch b/autohide-evbox.patch index 3106ae3aaaff..3df7d53c131b 100644 --- a/autohide-evbox.patch +++ b/autohide-evbox.patch @@ -11,15 +11,19 @@ private int monitor_number; private int monitor_width; -@@ -62,20 +66,41 @@ +@@ -61,6 +61,9 @@ + update_visual (); popover_manager = new Services.PopoverManager (this); - ++ + box = new Gtk.EventBox(); + box.add_events (Gdk.EventMask.ENTER_NOTIFY_MASK | Gdk.EventMask.LEAVE_NOTIFY_MASK); -+ + panel = new Widgets.Panel (popover_manager); panel.realize.connect (on_realize); +@@ -77,17 +80,35 @@ + app.add_action (cycle_back_action); + app.add_accelerator ("<Control><Shift>Tab", "app.cycle-back", null); - this.add (panel); + box.add(panel); |