diff options
Diffstat (limited to 'autohide-evbox.patch')
-rw-r--r-- | autohide-evbox.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/autohide-evbox.patch b/autohide-evbox.patch index c9b9a0239ac1..e2c1e41d3a3b 100644 --- a/autohide-evbox.patch +++ b/autohide-evbox.patch @@ -84,7 +84,7 @@ + } + + private bool animation_unstep () { -+ if (panel_displacement >= -1) { ++ if (panel_displacement >= -1 || popover_manager.current_indicator != null) { + timeout = 0; + return false; + } |