diff options
author | flavio <fdanesse@gmail.com> | 2013-03-01 01:08:00 (GMT) |
---|---|---|
committer | flavio <fdanesse@gmail.com> | 2013-03-01 01:08:00 (GMT) |
commit | 260fdb96b6d7ae419cf75bfacaf8d9a9cb71982a (patch) | |
tree | 87d75b7b3bf025d6eca4a41fd56b8935e3ff23a5 /activity.py | |
parent | 1739d8bbbebd7440f40b502caa3fdc97e56862d8 (diff) |
The stop button stops the code being executed
Diffstat (limited to 'activity.py')
-rwxr-xr-x | activity.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/activity.py b/activity.py index a62e4c7..f5bb55b 100755 --- a/activity.py +++ b/activity.py @@ -26,6 +26,7 @@ class ViewSourceActivity(activity.Activity): super(ViewSourceActivity, self).__init__(handle, **kwargs) self.__source_object_id = None # XXX: persist this across invocations? self.connect('key-press-event', self._key_press_cb) + self._pid = None def _key_press_cb(self, widget, event): from gi.repository import Gdk |