diff options
author | Gonzalo Odiard <godiard@gmail.com> | 2014-02-07 21:03:56 (GMT) |
---|---|---|
committer | Gonzalo Odiard <godiard@gmail.com> | 2014-02-07 21:03:56 (GMT) |
commit | 7dfc36e72ac94ada5f1ec043b6d3cf50dd422ded (patch) | |
tree | 895240a17cdbd0e0922ccc1b90b6427d74036bf0 | |
parent | c09b9f6e863f578c651b58014c17a8c5e7ac2c26 (diff) |
Fix set the name of the activity in development
-rw-r--r-- | develop-activity/develop_app.py | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/develop-activity/develop_app.py b/develop-activity/develop_app.py index 43efa0f..1212888 100644 --- a/develop-activity/develop_app.py +++ b/develop-activity/develop_app.py @@ -407,23 +407,23 @@ class DevelopActivity(activity.Activity): self.editor.remove_page(0) def open_activity(self, activity_dir): - logging.info('opening %s', activity_dir) + logging.debug('opening %s', activity_dir) if not activity_dir.endswith('/'): activity_dir = activity_dir + '/' self.activity_dir = activity_dir - name = os.path.basename(activity_dir) - self.treecolumn.set_title(name) - self.metadata['title'] = 'Develop %s' % name self.refresh_files() self.treeview.get_selection().connect("changed", self.selection_cb) - return name def first_open_activity(self, activity_dir): """Open an activity for the first time. Subsequently, use open_activity. """ self.open_activity(activity_dir) - namefilter = ActivityBundle(activity_dir).get_bundle_id() + self.bundle = ActivityBundle(activity_dir) + self.treecolumn.set_title(self.bundle.get_name()) + self.metadata['title'] = 'Develop %s' % self.bundle.get_name() + + namefilter = self.bundle.get_bundle_id() self.logview = logviewer.LogMinder(self, namefilter) self.set_dirty(False) @@ -929,7 +929,6 @@ class DevelopSearchToolbar(gtk.Toolbar): pass #self._replace_button.set_sensitive(True) - def _findnext_cb(self, button=None): ftext = self._search_entry.props.text if ftext: |