diff options
| author | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-10-17 22:57:05 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-10-17 22:57:05 (GMT) |
| commit | 37e1bf6100fb175083731cc3c0735f2a9269c404 (patch) | |
| tree | 8cfe4ed4a87940a78f329050c2d925624b15add8 /shell | |
| parent | 03bca1037688dfe543f1fdb397f5626fdff78244 (diff) | |
When showing the frame automatically hide it on leave, otherwise
it gets annoying.
Diffstat (limited to 'shell')
| -rw-r--r-- | shell/view/frame/Frame.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/shell/view/frame/Frame.py b/shell/view/frame/Frame.py index 3b264c6..bdac9fa 100644 --- a/shell/view/frame/Frame.py +++ b/shell/view/frame/Frame.py @@ -220,7 +220,8 @@ class Frame: return if not self._menu_shell.is_active() and \ - self._mode == Frame.HIDE_ON_LEAVE: + self._mode == Frame.HIDE_ON_LEAVE or \ + self._mode == Frame.AUTOMATIC: self._timeline.play('before_slide_out', 'slide_out') def _enter_edge_cb(self, event_frame): |