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