WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
Bug 76626
[GTK] WebKit2 GTK+ API public headers are not installed
https://bugs.webkit.org/show_bug.cgi?id=76626
Summary
[GTK] WebKit2 GTK+ API public headers are not installed
Carlos Garcia Campos
Reported
2012-01-19 05:24:46 PST
Only C API public headers are installed.
Attachments
Patch
(3.54 KB, patch)
2012-01-19 05:27 PST
,
Carlos Garcia Campos
mrobinson
: review+
Details
Formatted Diff
Diff
Patch updated to also add WebKitEnumTypes.h to the list of public headers
(3.60 KB, patch)
2012-01-19 05:36 PST
,
Carlos Garcia Campos
mrobinson
: review+
Details
Formatted Diff
Diff
Show Obsolete
(1)
View All
Add attachment
proposed patch, testcase, etc.
Carlos Garcia Campos
Comment 1
2012-01-19 05:27:04 PST
Created
attachment 123112
[details]
Patch
Carlos Garcia Campos
Comment 2
2012-01-19 05:36:05 PST
Created
attachment 123115
[details]
Patch updated to also add WebKitEnumTypes.h to the list of public headers
Carlos Garcia Campos
Comment 3
2012-01-19 09:40:44 PST
Committed
r105419
: <
http://trac.webkit.org/changeset/105419
>
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