After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 735251 - devhelp plugin: Support webkit2gtk-4.0
devhelp plugin: Support webkit2gtk-4.0
Status: RESOLVED FIXED
Product: anjuta
Classification: Applications
Component: plugins: devhelp
3.13.x
Other Linux
: Normal normal
: ---
Assigned To: Naba Kumar
Anjuta maintainers
: 735328 (view as bug list)
Depends on:
Blocks:
 
 
Reported: 2014-08-22 22:14 UTC by Kalev Lember
Modified: 2014-08-24 20:36 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
devhelp plugin: Support webkit2gtk-4.0 (945 bytes, patch)
2014-08-22 22:14 UTC, Kalev Lember 		committed Details | Review

Description Kalev Lember 2014-08-22 22:14:23 UTC 
.
Comment 1 Kalev Lember 2014-08-22 22:14:50 UTC 
Created attachment 284260 [details] [review]
devhelp plugin: Support webkit2gtk-4.0

API changes between webkit2gtk-3.0 and webkit2gtk-4.0 were minor and we
can support both, depending on which one devhelp is built with.
Comment 2 Dominique Leuenberger 2014-08-24 15:24:47 UTC 
*** Bug 735328 has been marked as a duplicate of this bug. ***
Comment 3 Sébastien Granjoux 2014-08-24 20:36:14 UTC 
Review of attachment 284260 [details] [review]:

Thank you for you patch, I have just committed it.