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())
self.emit('done')
def handle_key_press(key):
shell_model = shell.get_model()
activity = shell_model.get_active_activity()
setup_view_source(activity)
