Posted on: 05/09/2005 01:55 AM
Devhelp 0.10 has been released
Imendio is happy to give you a new version of Devhelp. Devhelp is a developer tool for browsing API documenation for GNOME.Read more
This release mostly involves bug fixes and minor improvements. Christian Persch has continued to improve the building against various versions of Mozilla. Ray Strode fixed a crasher bug which sometimes occured while searching.
Tommi Komulainen submitted a workaround to solve the problem where the HTML widget stole focus from the search hit list when loaded. Last Kristof Vansant sent a patch to make Devhelp build against pure GTK+ instead of depending on libgnomeui. This last patch now makes Devhelp depend on GTK+ 2.6.