Gui index config: only show the custom subtrees that come from the user config, not the standard ones from the system file
Authored by: Jean-Francois Dockes 2012-02-03
Parent(s): [e96579]
Child(ren): [46d940]
