Devhelp 0.9.3 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 mainly features mozilla compatibility issues. It adds support to build against firefox which is fixed by Christian Persch. He also fixed so that we no longer needs a shell script to set a bunch of Mozilla variables.
The scrollbars have also been fixed to use the GTK theme settings to render so that it looks like another GTK+ application. Older versions also had a problem where fonts where rendered smaller in Devhelp than on the rest of the desktop. This has now been fixed.