diff options
author | Simon Schampijer <simon@schampijer.de> | 2012-01-04 13:29:46 (GMT) |
---|---|---|
committer | Simon Schampijer <simon@schampijer.de> | 2012-01-04 18:17:24 (GMT) |
commit | 0a1a4b175052354047f21912d86ba346ad00e333 (patch) | |
tree | 437d4a32accd07ab170663e5370fddf875e9c4e3 | |
parent | e23ae0747e4648c3f15a11b49c4aaf196dd3423a (diff) |
Adopt to WebKit API for title of the browser widget
The webkitgtk API [1] does return None if the title is not
set. Adopt to that change.
[1] http://webkitgtk.org/reference/webkitgtk-webkitwebview.html#WebKitWebView--title
Signed-off-by: Simon Schampijer <simon@laptop.org>
Reviewed-by: Manuel QuiƱones <manuq@laptop.org>
-rw-r--r-- | webactivity.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/webactivity.py b/webactivity.py index 48eb780..4730588 100644 --- a/webactivity.py +++ b/webactivity.py @@ -426,7 +426,7 @@ class WebActivity(activity.Activity): browser = self._tabbed_view.current_browser if not self._jobject.metadata['title_set_by_user'] == '1': - if browser.props.title == '': + if browser.props.title == None: self.metadata['title'] = _('Untitled') else: self.metadata['title'] = browser.props.title |