Bug 152672

Summary: [GTK] Rename _WebKitWebContextPrivate.context to _WebKitWebContextPrivate.processPool
Product: WebKit Reporter: Michael Catanzaro <mcatanzaro>
Component: WebKitGTKAssignee: Michael Catanzaro <mcatanzaro>
Status: RESOLVED FIXED    
Severity: Trivial CC: berto, bugs-noreply, cgarcia, commit-queue, gustavo, mcatanzaro, mrobinson
Priority: P2    
Version: Other   
Hardware: PC   
OS: Linux   
Attachments:
Description Flags
Patch none

Description Michael Catanzaro 2016-01-03 15:47:01 PST 
Rename _WebKitWebContextPrivate.context to _WebKitWebContextPrivate.processPool. Been meaning to do this since r177692.
Comment 1 Michael Catanzaro 2016-01-03 15:54:13 PST 
Created attachment 268151 [details]
Patch
Comment 2 WebKit Commit Bot 2016-01-03 15:56:55 PST 
Thanks for the patch. If this patch contains new public API please make sure it follows the guidelines for new WebKit2 GTK+ API. See http://trac.webkit.org/wiki/WebKitGTK/AddingNewWebKit2API
Comment 3 Carlos Garcia Campos 2016-01-04 00:41:17 PST 
Comment on attachment 268151 [details]
Patch

I don't see the point, but it's obviously ok.
Comment 4 WebKit Commit Bot 2016-01-04 08:13:57 PST 
Comment on attachment 268151 [details]
Patch

Clearing flags on attachment: 268151

Committed r194532: <http://trac.webkit.org/changeset/194532>
Comment 5 WebKit Commit Bot 2016-01-04 08:14:01 PST 
All reviewed patches have been landed.  Closing bug.