diff options
Diffstat (limited to 'autohide-evbox.patch')
-rw-r--r-- | autohide-evbox.patch | 18 |
1 files changed, 8 insertions, 10 deletions
diff --git a/autohide-evbox.patch b/autohide-evbox.patch index 3df7d53c131b..49dfead5454d 100644 --- a/autohide-evbox.patch +++ b/autohide-evbox.patch @@ -1,15 +1,14 @@ --- src/wingpanel/src/PanelWindow.vala 2017-06-01 02:18:32.090889031 +0900 +++ src/wingpanel/src/PanelWindow.vala.patched 2017-06-01 02:11:40.814767918 +0900 -@@ -22,6 +22,10 @@ +@@ -22,4 +22,9 @@ private Widgets.Panel panel; - ++ + private Gtk.EventBox box; + + uint timeout; + private int monitor_number; - private int monitor_width; @@ -61,6 +61,9 @@ update_visual (); @@ -21,16 +20,16 @@ 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); +@@ -80,17 +83,35 @@ + application.add_accelerator ("<Control>Tab", "app.cycle", null); + application.add_accelerator ("<Control><Shift>Tab", "app.cycle-back", null); -- this.add (panel); +- add (panel); + box.add(panel); + box.enter_notify_event.connect (reactivate); + box.leave_notify_event.connect (on_idle); + -+ this.add (box); ++ add (box); } private bool animation_step () { @@ -58,8 +57,7 @@ + animate_panel (); return true; - } -@@ -85,7 +110,27 @@ + }@@ -85,7 +110,27 @@ //Services.BackgroundManager.get_default ().initialize (this.monitor_number, panel_height); |