Summary: | [GTK] Add API to set the web extensions directory to WebKit2 GTK+ | ||||||
---|---|---|---|---|---|---|---|
Product: | WebKit | Reporter: | Carlos Garcia Campos <cgarcia> | ||||
Component: | WebKit2 | Assignee: | Nobody <webkit-unassigned> | ||||
Status: | RESOLVED FIXED | ||||||
Severity: | Normal | CC: | gustavo, mrobinson, xan.lopez | ||||
Priority: | P2 | Keywords: | Gtk | ||||
Version: | 528+ (Nightly build) | ||||||
Hardware: | PC | ||||||
OS: | Linux | ||||||
Bug Depends on: | 105631 | ||||||
Bug Blocks: | |||||||
Attachments: |
|
Description
Carlos Garcia Campos
2013-01-09 09:10:25 PST
Created attachment 181934 [details]
Patch
Comment on attachment 181934 [details]
Patch
This seems straightforward enough to me, but perhaps other reviewers want to have a look.
As we discussed on IRC, this patch looks good to me with the change that the API should be called webkit_web_context_set_web_exentions_directory and we later remove the global extensions directory. Committed r139415: <http://trac.webkit.org/changeset/139415> |