2007-06-24 14:45:05 +02:00
|
|
|
# Copyright (C) 2006-2007 Red Hat, Inc.
|
2006-10-15 01:24:45 +02:00
|
|
|
#
|
|
|
|
# This program is free software; you can redistribute it and/or modify
|
|
|
|
# it under the terms of the GNU General Public License as published by
|
|
|
|
# the Free Software Foundation; either version 2 of the License, or
|
|
|
|
# (at your option) any later version.
|
|
|
|
#
|
|
|
|
# This program is distributed in the hope that it will be useful,
|
|
|
|
# but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
# GNU General Public License for more details.
|
|
|
|
#
|
|
|
|
# You should have received a copy of the GNU General Public License
|
|
|
|
# along with this program; if not, write to the Free Software
|
|
|
|
# Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
|
2007-03-17 14:30:23 +01:00
|
|
|
import logging
|
2006-10-15 01:24:45 +02:00
|
|
|
|
2006-08-23 11:52:18 +02:00
|
|
|
import gtk
|
2006-08-29 00:30:19 +02:00
|
|
|
import gobject
|
2006-10-02 01:50:43 +02:00
|
|
|
import hippo
|
2006-08-23 11:52:18 +02:00
|
|
|
|
2007-04-05 12:44:03 +02:00
|
|
|
from view.frame.eventarea import EventArea
|
2006-10-02 01:50:43 +02:00
|
|
|
from view.frame.ActivitiesBox import ActivitiesBox
|
|
|
|
from view.frame.ZoomBox import ZoomBox
|
2006-10-24 19:44:18 +02:00
|
|
|
from view.frame.overlaybox import OverlayBox
|
2006-10-05 17:09:38 +02:00
|
|
|
from view.frame.FriendsBox import FriendsBox
|
2007-05-01 18:26:26 +02:00
|
|
|
from view.frame.framewindow import FrameWindow
|
2006-12-13 22:36:05 +01:00
|
|
|
from view.frame.clipboardpanelwindow import ClipboardPanelWindow
|
2007-01-11 11:43:34 +01:00
|
|
|
from model.ShellModel import ShellModel
|
2007-03-12 12:39:29 +01:00
|
|
|
from sugar.graphics import animator
|
2007-02-20 16:23:49 +01:00
|
|
|
from sugar.graphics import units
|
2007-03-18 12:56:11 +01:00
|
|
|
from sugar.clipboard import clipboardservice
|
2006-08-23 11:52:18 +02:00
|
|
|
|
2007-03-12 19:14:02 +01:00
|
|
|
MODE_NONE = 0
|
|
|
|
MODE_MOUSE = 1
|
|
|
|
MODE_KEYBOARD = 2
|
|
|
|
MODE_FORCE = 3
|
2007-03-12 14:48:02 +01:00
|
|
|
|
2007-03-12 14:05:50 +01:00
|
|
|
_FRAME_HIDING_DELAY = 500
|
|
|
|
|
2007-03-12 12:39:29 +01:00
|
|
|
class _Animation(animator.Animation):
|
|
|
|
def __init__(self, frame, end):
|
|
|
|
start = frame.get_current_position()
|
|
|
|
animator.Animation.__init__(self, start, end)
|
|
|
|
self._frame = frame
|
2007-01-25 17:37:27 +01:00
|
|
|
|
2007-03-12 12:39:29 +01:00
|
|
|
def next_frame(self, current):
|
|
|
|
self._frame.move(current)
|
2006-09-22 11:14:33 +02:00
|
|
|
|
2007-03-12 14:05:50 +01:00
|
|
|
class _MouseListener(object):
|
|
|
|
def __init__(self, frame):
|
|
|
|
self._frame = frame
|
|
|
|
self._hide_sid = 0
|
|
|
|
|
|
|
|
def mouse_enter(self):
|
2007-03-12 16:30:53 +01:00
|
|
|
if self._frame.mode == MODE_NONE or \
|
|
|
|
self._frame.mode == MODE_MOUSE:
|
2007-03-12 14:48:02 +01:00
|
|
|
self._show_frame()
|
2007-03-12 14:05:50 +01:00
|
|
|
|
|
|
|
def mouse_leave(self):
|
2007-03-12 14:48:02 +01:00
|
|
|
if self._frame.mode == MODE_MOUSE:
|
|
|
|
self._hide_frame()
|
2007-03-12 14:05:50 +01:00
|
|
|
|
|
|
|
def _show_frame(self):
|
|
|
|
if self._hide_sid != 0:
|
|
|
|
gobject.source_remove(self._hide_sid)
|
|
|
|
self._frame.show()
|
2007-03-12 14:48:02 +01:00
|
|
|
self._frame.mode = MODE_MOUSE
|
2007-03-12 14:05:50 +01:00
|
|
|
|
|
|
|
def _hide_frame_timeout_cb(self):
|
|
|
|
self._frame.hide()
|
|
|
|
return False
|
|
|
|
|
|
|
|
def _hide_frame(self):
|
|
|
|
if self._hide_sid != 0:
|
|
|
|
gobject.source_remove(self._hide_sid)
|
|
|
|
self._hide_sid = gobject.timeout_add(
|
|
|
|
_FRAME_HIDING_DELAY, self._hide_frame_timeout_cb)
|
|
|
|
|
2007-03-12 12:39:29 +01:00
|
|
|
class _KeyListener(object):
|
2007-03-17 14:30:23 +01:00
|
|
|
_HIDDEN = 1
|
|
|
|
_SHOWN_PRESSED = 2
|
|
|
|
_SHOWN_REPEAT = 3
|
|
|
|
_SHOWN_RELEASED = 4
|
|
|
|
|
2007-03-12 12:39:29 +01:00
|
|
|
def __init__(self, frame):
|
|
|
|
self._frame = frame
|
2007-03-17 14:30:23 +01:00
|
|
|
self._state = _KeyListener._HIDDEN
|
2007-03-12 12:39:29 +01:00
|
|
|
|
|
|
|
def key_press(self):
|
2007-03-12 14:48:02 +01:00
|
|
|
if self._frame.mode != MODE_NONE and \
|
|
|
|
self._frame.mode != MODE_KEYBOARD:
|
|
|
|
return
|
|
|
|
|
2007-03-17 20:46:44 +01:00
|
|
|
if self._frame.visible:
|
|
|
|
self._frame.hide()
|
|
|
|
else:
|
|
|
|
self._frame.show()
|
|
|
|
self._frame.mode = MODE_KEYBOARD
|
|
|
|
|
|
|
|
"""
|
2007-03-17 14:30:23 +01:00
|
|
|
if self._state == _KeyListener._HIDDEN:
|
|
|
|
self._frame.show()
|
|
|
|
self._frame.mode = MODE_KEYBOARD
|
|
|
|
self._state = _KeyListener._SHOWN_PRESSED
|
|
|
|
elif self._state == _KeyListener._SHOWN_PRESSED:
|
|
|
|
self._state = _KeyListener._SHOWN_REPEAT
|
|
|
|
elif self._state == _KeyListener._SHOWN_RELEASED:
|
|
|
|
self._frame.hide()
|
|
|
|
self._state = _KeyListener._HIDDEN
|
2007-03-17 20:46:44 +01:00
|
|
|
"""
|
2007-03-12 12:39:29 +01:00
|
|
|
|
|
|
|
def key_release(self):
|
2007-03-17 20:46:44 +01:00
|
|
|
pass
|
|
|
|
"""
|
2007-03-17 14:30:23 +01:00
|
|
|
if self._state == _KeyListener._SHOWN_PRESSED:
|
|
|
|
self._state = _KeyListener._SHOWN_RELEASED
|
|
|
|
elif self._state == _KeyListener._SHOWN_REPEAT:
|
|
|
|
self._frame.hide()
|
|
|
|
self._state = _KeyListener._HIDDEN
|
2007-03-17 20:46:44 +01:00
|
|
|
"""
|
2007-03-12 12:39:29 +01:00
|
|
|
|
|
|
|
class Frame(object):
|
2006-12-04 20:12:24 +01:00
|
|
|
def __init__(self, shell):
|
2007-03-12 14:48:02 +01:00
|
|
|
self.mode = MODE_NONE
|
2007-03-12 19:13:09 +01:00
|
|
|
self.visible = False
|
2007-03-12 14:48:02 +01:00
|
|
|
|
2007-01-25 12:39:44 +01:00
|
|
|
self._left_panel = None
|
|
|
|
self._right_panel = None
|
|
|
|
self._top_panel = None
|
|
|
|
self._bottom_panel = None
|
|
|
|
|
2006-12-04 20:12:24 +01:00
|
|
|
self._shell = shell
|
2007-03-12 12:39:29 +01:00
|
|
|
self._current_position = 0.0
|
2007-03-12 14:48:02 +01:00
|
|
|
self._animator = None
|
2007-03-12 16:22:03 +01:00
|
|
|
self._hover = False
|
2006-09-07 15:11:51 +02:00
|
|
|
|
2007-04-05 12:44:03 +02:00
|
|
|
self._event_area = EventArea()
|
|
|
|
self._event_area.connect('enter', self._enter_corner_cb)
|
|
|
|
self._event_area.show()
|
2006-10-02 01:50:43 +02:00
|
|
|
|
2007-02-20 16:23:49 +01:00
|
|
|
self._top_panel = self._create_top_panel()
|
|
|
|
self._bottom_panel = self._create_bottom_panel()
|
|
|
|
self._left_panel = self._create_left_panel()
|
|
|
|
self._right_panel = self._create_right_panel()
|
2006-09-07 15:11:51 +02:00
|
|
|
|
2007-02-24 19:28:04 +01:00
|
|
|
screen = gtk.gdk.screen_get_default()
|
|
|
|
screen.connect('size-changed', self._size_changed_cb)
|
2007-01-25 12:39:44 +01:00
|
|
|
|
2007-03-18 12:56:11 +01:00
|
|
|
cb_service = clipboardservice.get_instance()
|
|
|
|
cb_service.connect_after('object-added', self._clipboard_object_added_cb)
|
|
|
|
|
2007-03-12 12:39:29 +01:00
|
|
|
self._key_listener = _KeyListener(self)
|
2007-03-12 14:05:50 +01:00
|
|
|
self._mouse_listener = _MouseListener(self)
|
2007-03-12 12:39:29 +01:00
|
|
|
|
2007-03-12 16:57:52 +01:00
|
|
|
def hide(self, force=False):
|
2007-03-12 19:13:09 +01:00
|
|
|
if not self.visible:
|
2007-03-12 16:09:41 +01:00
|
|
|
return
|
|
|
|
if self._animator:
|
|
|
|
self._animator.stop()
|
|
|
|
|
2007-04-16 12:26:17 +02:00
|
|
|
self._animator = animator.Animator(0.5)
|
2007-03-12 16:09:41 +01:00
|
|
|
self._animator.add(_Animation(self, 0.0))
|
|
|
|
self._animator.start()
|
|
|
|
|
2007-04-05 12:44:03 +02:00
|
|
|
self._event_area.show()
|
2007-03-12 16:09:41 +01:00
|
|
|
|
2007-03-12 19:13:09 +01:00
|
|
|
self.visible = False
|
2007-03-12 16:57:52 +01:00
|
|
|
if force:
|
|
|
|
self.mode = MODE_NONE
|
|
|
|
else:
|
|
|
|
self.mode = MODE_FORCE
|
|
|
|
self._animator.connect('completed', self._hide_completed_cb)
|
2007-03-12 16:09:41 +01:00
|
|
|
|
|
|
|
def show(self):
|
2007-06-13 14:39:16 +02:00
|
|
|
self.mode = MODE_FORCE
|
|
|
|
|
2007-03-12 19:13:09 +01:00
|
|
|
if self.visible:
|
2007-03-12 16:09:41 +01:00
|
|
|
return
|
|
|
|
if self._animator:
|
|
|
|
self._animator.stop()
|
|
|
|
|
2007-04-16 12:26:17 +02:00
|
|
|
self._animator = animator.Animator(0.5)
|
2007-03-12 16:09:41 +01:00
|
|
|
self._animator.add(_Animation(self, 1.0))
|
|
|
|
self._animator.start()
|
|
|
|
|
2007-04-05 12:44:03 +02:00
|
|
|
self._event_area.hide()
|
2007-03-12 16:09:41 +01:00
|
|
|
|
2007-03-12 19:13:09 +01:00
|
|
|
self.visible = True
|
2007-03-12 16:09:41 +01:00
|
|
|
|
2007-03-12 12:39:29 +01:00
|
|
|
def get_current_position(self):
|
|
|
|
return self._current_position
|
|
|
|
|
|
|
|
def move(self, pos):
|
|
|
|
self._current_position = pos
|
|
|
|
self._update_position()
|
|
|
|
|
2007-03-12 16:09:41 +01:00
|
|
|
def _is_hover(self):
|
|
|
|
return (self._top_panel.hover or \
|
|
|
|
self._bottom_panel.hover or \
|
|
|
|
self._left_panel.hover or \
|
|
|
|
self._right_panel.hover)
|
|
|
|
|
2007-01-25 12:39:44 +01:00
|
|
|
def _create_top_panel(self):
|
2007-02-20 16:35:07 +01:00
|
|
|
panel = self._create_panel(hippo.ORIENTATION_HORIZONTAL)
|
|
|
|
root = panel.get_root()
|
2006-12-13 22:36:05 +01:00
|
|
|
|
2007-04-27 11:33:18 +02:00
|
|
|
box = ZoomBox(self._shell)
|
2007-02-20 16:23:49 +01:00
|
|
|
root.append(box)
|
2006-09-08 01:13:42 +02:00
|
|
|
|
2007-03-22 16:34:33 +01:00
|
|
|
#box = OverlayBox(self._shell)
|
|
|
|
#root.append(box, hippo.PACK_END)
|
2007-02-20 16:23:49 +01:00
|
|
|
|
2007-02-20 16:35:07 +01:00
|
|
|
return panel
|
2006-10-24 19:44:18 +02:00
|
|
|
|
2007-01-25 12:39:44 +01:00
|
|
|
def _create_bottom_panel(self):
|
2007-02-20 16:35:07 +01:00
|
|
|
panel = self._create_panel(hippo.ORIENTATION_HORIZONTAL)
|
|
|
|
root = panel.get_root()
|
2006-12-13 22:36:05 +01:00
|
|
|
|
2007-07-01 12:55:10 +02:00
|
|
|
box = ActivitiesBox(self._shell)
|
2007-02-20 16:23:49 +01:00
|
|
|
root.append(box)
|
2006-09-07 15:11:51 +02:00
|
|
|
|
2007-02-20 16:35:07 +01:00
|
|
|
return panel
|
2006-09-18 16:51:21 +02:00
|
|
|
|
2007-01-25 12:39:44 +01:00
|
|
|
def _create_right_panel(self):
|
2007-02-20 16:35:07 +01:00
|
|
|
panel = self._create_panel(hippo.ORIENTATION_VERTICAL)
|
|
|
|
root = panel.get_root()
|
2006-12-13 22:36:05 +01:00
|
|
|
|
2007-07-01 12:55:10 +02:00
|
|
|
box = FriendsBox(self._shell)
|
2006-12-04 20:12:24 +01:00
|
|
|
root.append(box)
|
2006-10-05 17:09:38 +02:00
|
|
|
|
2007-02-20 16:35:07 +01:00
|
|
|
return panel
|
2007-02-20 16:23:49 +01:00
|
|
|
|
2007-01-25 12:39:44 +01:00
|
|
|
def _create_left_panel(self):
|
2007-02-20 16:35:07 +01:00
|
|
|
panel = ClipboardPanelWindow(self, hippo.ORIENTATION_VERTICAL)
|
2007-02-20 16:23:49 +01:00
|
|
|
|
2007-02-20 16:35:07 +01:00
|
|
|
self._connect_to_panel(panel)
|
|
|
|
panel.connect('drag-motion', self._drag_motion_cb)
|
|
|
|
panel.connect('drag-leave', self._drag_leave_cb)
|
2007-01-11 11:43:34 +01:00
|
|
|
|
2007-02-20 16:35:07 +01:00
|
|
|
return panel
|
2007-01-11 11:43:34 +01:00
|
|
|
|
2007-02-20 16:35:07 +01:00
|
|
|
def _create_panel(self, orientation):
|
2007-05-01 18:26:26 +02:00
|
|
|
panel = FrameWindow(orientation)
|
2006-12-13 22:36:05 +01:00
|
|
|
self._connect_to_panel(panel)
|
|
|
|
|
|
|
|
return panel
|
2006-10-02 01:50:43 +02:00
|
|
|
|
2007-02-20 16:23:49 +01:00
|
|
|
def _move_panel(self, panel, pos, x1, y1, x2, y2):
|
|
|
|
x = (x2 - x1) * pos + x1
|
|
|
|
y = (y2 - y1) * pos + y1
|
2007-01-25 17:37:27 +01:00
|
|
|
|
2007-02-27 17:04:15 +01:00
|
|
|
panel.move(int(x), int(y))
|
2007-01-25 17:37:27 +01:00
|
|
|
|
|
|
|
# FIXME we should hide and show as necessary to free memory
|
|
|
|
if not panel.props.visible:
|
|
|
|
panel.show()
|
|
|
|
|
2006-12-13 22:36:05 +01:00
|
|
|
def _connect_to_panel(self, panel):
|
2006-12-04 20:12:24 +01:00
|
|
|
panel.connect('enter-notify-event', self._enter_notify_cb)
|
2006-10-02 01:50:43 +02:00
|
|
|
|
2007-02-24 19:28:04 +01:00
|
|
|
def _update_position(self):
|
2007-02-20 16:23:49 +01:00
|
|
|
screen_h = gtk.gdk.screen_height()
|
|
|
|
screen_w = gtk.gdk.screen_width()
|
|
|
|
|
2007-02-24 19:28:04 +01:00
|
|
|
self._move_panel(self._top_panel, self._current_position,
|
2007-02-20 16:23:49 +01:00
|
|
|
0, units.grid_to_pixels(-1),
|
|
|
|
0, 0)
|
|
|
|
|
2007-02-24 19:28:04 +01:00
|
|
|
self._move_panel(self._bottom_panel, self._current_position,
|
2007-02-20 16:23:49 +01:00
|
|
|
0, screen_h,
|
|
|
|
0, screen_h - units.grid_to_pixels(1))
|
|
|
|
|
2007-02-24 19:28:04 +01:00
|
|
|
self._move_panel(self._left_panel, self._current_position,
|
2007-02-20 16:23:49 +01:00
|
|
|
units.grid_to_pixels(-1), 0,
|
|
|
|
0, 0)
|
|
|
|
|
2007-02-24 19:28:04 +01:00
|
|
|
self._move_panel(self._right_panel, self._current_position,
|
2007-02-20 16:23:49 +01:00
|
|
|
screen_w, 0,
|
2007-02-20 16:35:07 +01:00
|
|
|
screen_w - units.grid_to_pixels(1), 0)
|
2007-01-25 12:39:44 +01:00
|
|
|
|
2007-03-12 16:57:52 +01:00
|
|
|
def _hide_completed_cb(self, animator):
|
|
|
|
self.mode = MODE_NONE
|
|
|
|
|
2007-02-24 19:28:04 +01:00
|
|
|
def _size_changed_cb(self, screen):
|
|
|
|
self._update_position()
|
2007-03-18 12:56:11 +01:00
|
|
|
|
|
|
|
def _clipboard_object_added_cb(self, cb_service, object_id, name):
|
|
|
|
if not self.visible:
|
|
|
|
self.show()
|
|
|
|
gobject.timeout_add(2000, lambda: self.hide())
|
|
|
|
|
2007-03-12 12:39:29 +01:00
|
|
|
def _enter_notify_cb(self, window, event):
|
2007-03-12 14:05:50 +01:00
|
|
|
self._mouse_listener.mouse_enter()
|
2007-03-12 12:39:29 +01:00
|
|
|
|
|
|
|
def _drag_motion_cb(self, window, context, x, y, time):
|
2007-03-12 14:05:50 +01:00
|
|
|
self._mouse_listener.mouse_enter()
|
2007-03-12 12:39:29 +01:00
|
|
|
|
|
|
|
def _drag_leave_cb(self, window, drag_context, timestamp):
|
2007-03-12 14:05:50 +01:00
|
|
|
self._mouse_listener.mouse_leave()
|
2007-03-12 12:39:29 +01:00
|
|
|
|
2007-04-05 12:44:03 +02:00
|
|
|
def _enter_corner_cb(self, event_area):
|
2007-03-12 14:05:50 +01:00
|
|
|
self._mouse_listener.mouse_enter()
|
2007-03-12 12:39:29 +01:00
|
|
|
|
|
|
|
def notify_key_press(self):
|
|
|
|
self._key_listener.key_press()
|
|
|
|
|
|
|
|
def notify_key_release(self):
|
|
|
|
self._key_listener.key_release()
|