diff options
| author | Manuel Kaufmann <humitos@gmail.com> | 2012-11-01 16:18:32 (GMT) |
|---|---|---|
| committer | Manuel Quiñones <manuq@laptop.org> | 2012-11-23 13:26:14 (GMT) |
| commit | 28967561e9ac277fb37e0ec209d5050cc90f8e38 (patch) | |
| tree | a3a6a7ffa4eab224e7fb17ff721cda36cd69b3d5 /webtoolbar.py | |
| parent | 2d8178affd16026923c726c2164bb1e2783b8577 (diff) | |
Title of media files SL #3934
When a plugin handles the request, for example to play an .ogg file,
WebKit sets the title as 'None' and '__load_status_changed_cb' is not
called when status is 'WebKit.LoadStatus.FINISHED', so the title is
not set as 'Untitled'.
This patch checks if the title is 'None' (because of the case
mentioned above) and sets it as the 'os.path.basename' of the
'WebKit.WebView.props.uri' (the name of the filename).
Signed-off-by: Manuel Kaufmann <humitos@gmail.com>
Acked-by: Manuel Quiñones <manuq@laptop.org>
Diffstat (limited to 'webtoolbar.py')
0 files changed, 0 insertions, 0 deletions