[Webkit-unassigned] [Bug 106462] [GTK] Add API to set an additional web extensions directory to WebKit2 GTK+

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=106462


Martin Robinson <mrobinson at webkit.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mrobinson at webkit.org




--- Comment #3 from Martin Robinson <mrobinson at webkit.org>  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.

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.