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 /webactivity.py | |
| 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>
Diffstat (limited to 'webactivity.py')
| -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 |