summarylogtreecommitdiffstats
path: root/autohide-evbox.patch
diff options
context:
space:
mode:
Diffstat (limited to 'autohide-evbox.patch')
-rw-r--r--autohide-evbox.patch18
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);