Web   ·   Wiki   ·   Activities   ·   Blog   ·   Lists   ·   Chat   ·   Meeting   ·   Bugs   ·   Git   ·   Translate   ·   Archive   ·   People   ·   Donate
summaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authorSimon Schampijer <simon@schampijer.de>2009-02-19 18:23:48 (GMT)
committer Simon Schampijer <simon@schampijer.de>2009-02-19 18:23:48 (GMT)
commita871c2bb1ba79cafb02ed428cd93ae4571248bfe (patch)
tree55f6c9d171f949e5cfa1b00e951c18a81cf54bbd /src
parent27f55cb2d5a307dfa317eff3af6f8e44aa148cc8 (diff)
View Source: Option in activity frame palette
Diffstat (limited to 'src')
-rw-r--r--src/jarabe/view/palettes.py19
1 files changed, 19 insertions, 0 deletions
diff --git a/src/jarabe/view/palettes.py b/src/jarabe/view/palettes.py
index 64637a9..0b800d6 100644
--- a/src/jarabe/view/palettes.py
+++ b/src/jarabe/view/palettes.py
@@ -33,7 +33,9 @@ from sugar.activity import activityfactory
from sugar.activity.activityhandle import ActivityHandle
from jarabe.model import bundleregistry
+from jarabe.model import shell
from jarabe.view import launcher
+from jarabe.view.viewsource import setup_view_source
class BasePalette(Palette):
def __init__(self, home_activity):
@@ -68,6 +70,12 @@ class CurrentActivityPalette(BasePalette):
# TODO: share-with, keep
+ accelerator = ' (Alt+Shift+v)'
+ menu_item = MenuItem(_('View Source') + accelerator, 'view-source')
+ menu_item.connect('activate', self.__view_source__cb)
+ self.menu.append(menu_item)
+ menu_item.show()
+
separator = gtk.SeparatorMenuItem()
self.menu.append(separator)
separator.show()
@@ -80,6 +88,17 @@ class CurrentActivityPalette(BasePalette):
def __resume_activate_cb(self, menu_item):
self._home_activity.get_window().activate(gtk.get_current_event_time())
+ def __view_source__cb(self, menu_item):
+ setup_view_source(self._home_activity)
+ shell_model = shell.get_model()
+ if self._home_activity is not shell_model.get_active_activity():
+ self._home_activity.get_window().activate( \
+ gtk.get_current_event_time())
+
+ def __active_window_changed_cb(self, screen, previous_window=None):
+ setup_view_source()
+ self._screen.disconnect(self._active_window_changed_sid)
+
def __stop_activate_cb(self, menu_item):
self._home_activity.get_window().close(1)