Builder is an integrated development environment for actively managed GNOME. It combines integrated support for essential GNOME technologies such as GTK +, GLib and GNOME APIs with features that any developer will appreciate, such as syntax highlighting and snippets. You can rely on Builder's planned releases with each new release of GNOME every six months.
SerializingHTMLBuilder.searchindex_filename An index that can be used for searching the documentation. It is a pickled list with these entries: A list of indexed docnames. A list of document titles, as HTML strings, in the same order as the first list. A dict mapping word roots (processed by an English-language stemmer) to a list of integers, which are indices into the first list. environment.pickle The build environment. This is always a pickle file, independent of the builder and a copy of the environment that was used when the builder was started.