Hi, Daniel Egger <degger@xxxxxxx> writes: >> The help-browser behaviour for non-existant anchors could probably be >> changed. I'd have to look into the GtkHTML2 API to give a more >> definite answer but I think it should be doable. > > It would be great if you could look it up because this is a real must. The API has html_document_find_anchor() which seems to fit our needs just perfectly. Sven
