-
Albert Gräf authored
Help browser: Cosmetic changes in the GUI prefs, add a warning about the impact of help browser settings on startup times.
fd5fce5e
Help browser: Cosmetic changes in the GUI prefs, add a warning about the impact of help browser settings on startup times.