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 693021 - devhelp: update to latest devhelp changes
devhelp: update to latest devhelp changes
Status: RESOLVED FIXED
Product: anjuta
Classification: Applications
Component: plugins: devhelp
unspecified
Other All
: Normal normal
: ---
Assigned To: Naba Kumar
Anjuta maintainers
Depends on:
Blocks:
 
 
Reported: 2013-02-01 16:14 UTC by Frederic Peters
Modified: 2013-02-16 09:56 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
devhelp: update to latest devhelp changes (4.49 KB, patch)
2013-02-01 16:14 UTC, Frederic Peters 		committed Details | Review

Description Frederic Peters 2013-02-01 16:14:05 UTC 
During the dx hackfest we made many changes to devhelp, including merging
the contents and search tabs in the sidebar; this patch updates anjuta to
do the same.
Comment 1 Frederic Peters 2013-02-01 16:14:07 UTC 
Created attachment 235001 [details] [review]
devhelp: update to latest devhelp changes
Comment 2 Carl-Anton Ingmarsson 2013-02-04 22:18:15 UTC 
Review of attachment 235001 [details] [review]:

Thanks for the patch. I've commited a slightly modified version of it.