A long time ago we had Devhelp integrated in Builder.
It got lost in the GTK 4 port because there was no GTK 4 version of Devhelp. Additionally, it didn’t handle the concept of SDKs at all. We went through great lengths in Builder to try to copy them around so libdevhelp could pick them up (with marginal success).
Builder now has code which can index various types of SDKs including Flatpak, the host system, and jhbuild. It does so automatically at startup into a SQLite database. That allows us to compare etags at startup and avoid a whole lot of extra work. It also serves as a convenient place to implement search going forward.
It looks like this
The path bar at the bottom provides a convenient way to navigate around without having to go back to the documentation tree. It looks like this
It also works when you’re using Builder as a “Text Editor with Plugins” replacement (e.g. the editor workspace).