diff options
author | Simon Schampijer <simon@schampijer.de> | 2007-09-28 14:40:15 (GMT) |
---|---|---|
committer | Simon Schampijer <simon@schampijer.de> | 2007-09-28 14:40:15 (GMT) |
commit | fbec2d48b7eb477d194151e7b6ee578101a278b5 (patch) | |
tree | 6f7babccbf509de67b24aa2e91b87e5270349048 | |
parent | d305d043f64944deec72c28b90aac89cccd05209 (diff) |
Use document information to set the title when title is not set by the user
-rw-r--r-- | readactivity.py | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/readactivity.py b/readactivity.py index 234d0d2..2065bae 100644 --- a/readactivity.py +++ b/readactivity.py @@ -222,12 +222,12 @@ class ReadActivity(activity.Activity): self._view.set_document(self._document) self._edit_toolbar.set_document(self._document) self._read_toolbar.set_document(self._document) - title = _("Read Activity") - info = self._document.get_info() - if info and info.title: - title += ": " + info.title - self.set_title(title) - + + if not self._jobject.metadata['title_set_by_user'] == '1': + info = self._document.get_info() + if info and info.title: + self.metadata['title'] = info.title + import urllib garbage, path = urllib.splittype(filepath) garbage, path = urllib.splithost(path or "") |