Merge lp:~jderose/userwebkit/dmedia-uri into lp:userwebkit
Proposed by
Jason Gerard DeRose
Status: | Merged |
---|---|
Merged at revision: | 25 |
Proposed branch: | lp:~jderose/userwebkit/dmedia-uri |
Merge into: | lp:userwebkit |
Diff against target: |
224 lines (+100/-5) 4 files modified
demo-app.py (+28/-0) test_userwebkit.py (+59/-1) ui/index.html (+3/-2) userwebkit.py (+10/-2) |
To merge this branch: | bzr merge lp:~jderose/userwebkit/dmedia-uri |
Related bugs: |
Reviewer | Review Type | Date Requested | Status |
---|---|---|---|
David Jordan | Approve | ||
Review via email: mp+86930@code.launchpad.net |
Description of the change
Small change so that we can resolve dmedia: URIs into file:// URIs in the WebView 'resource-
For example, this would resolve a URI like this:
dmedia:
Into a URI like this:
file://
And then call request.set_uri() with the new URI. I feel a bit silly I didn't think of this sooner, but better late than never!
To post a comment you must log in.
Approved, looking forward to this change.