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 /browser.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 'browser.py')
0 files changed, 0 insertions, 0 deletions