WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
106462
[GTK] Add API to set the web extensions directory to WebKit2 GTK+
https://bugs.webkit.org/show_bug.cgi?id=106462
Summary
[GTK] Add API to set the web extensions directory to WebKit2 GTK+
Carlos Garcia Campos
Reported
2013-01-09 09:10:25 PST
For applications to install their own extensions.
Attachments
Patch
(17.31 KB, patch)
2013-01-09 09:16 PST
,
Carlos Garcia Campos
xan.lopez
: review+
Details
Formatted Diff
Diff
View All
Add attachment
proposed patch, testcase, etc.
Carlos Garcia Campos
Comment 1
2013-01-09 09:16:27 PST
Created
attachment 181934
[details]
Patch
Xan Lopez
Comment 2
2013-01-10 08:56:14 PST
Comment on
attachment 181934
[details]
Patch This seems straightforward enough to me, but perhaps other reviewers want to have a look.
Martin Robinson
Comment 3
2013-01-10 09:27:51 PST
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.
Carlos Garcia Campos
Comment 4
2013-01-11 00:44:09 PST
Committed
r139415
: <
http://trac.webkit.org/changeset/139415
>
Note
You need to
log in
before you can comment on or make changes to this bug.
Top of Page
Format For Printing
XML
Clone This Bug