diff options
Diffstat (limited to 'shell/WindowManager.py')
-rw-r--r-- | shell/WindowManager.py | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/shell/WindowManager.py b/shell/WindowManager.py index af39324..2807b8f 100644 --- a/shell/WindowManager.py +++ b/shell/WindowManager.py @@ -63,8 +63,9 @@ class SlidingHelper: class WindowManager: __managers_list = [] - TYPE_ACTIVITY = 0 - TYPE_POPUP = 1 + TYPE_ROOT = 0 + TYPE_ACTIVITY = 1 + TYPE_POPUP = 2 ANIMATION_NONE = 0 ANIMATION_SLIDE_IN = 1 @@ -134,7 +135,7 @@ class WindowManager: screen_height = DEFAULT_HEIGHT for manager in WindowManager.__managers_list: - if manager._window_type == WindowManager.TYPE_ACTIVITY: + if manager._window_type == WindowManager.TYPE_ROOT: screen_width = manager._window.allocation.width screen_height = manager._window.allocation.height @@ -143,7 +144,7 @@ class WindowManager: def _get_screen_position(self): result = (0, 0) for manager in WindowManager.__managers_list: - if manager._window_type == WindowManager.TYPE_ACTIVITY: + if manager._window_type == WindowManager.TYPE_ROOT: result = manager._window.get_position() return result @@ -171,7 +172,8 @@ class WindowManager: self._window.set_skip_taskbar_hint(True) def _update_size(self): - if self._window_type == WindowManager.TYPE_ACTIVITY: + if (self._window_type == WindowManager.TYPE_ACTIVITY) or \ + (self._window_type == WindowManager.TYPE_ROOT): self._window.resize(DEFAULT_WIDTH, DEFAULT_HEIGHT) else: (width, height) = self._transform_dimensions() |