Help Config

Define here the prefered application to show the Help documentation files.


Indicates whether the Help documentation should be presented using GAMGI or an external browser. GAMGI is faster and needs less memory, but the browser provides a fancier presentation.


Sets the path to the prefered browser executable. This is needed only when Agent is set to Browser. It is equivalent to define the BROWSER environment variable, in ~/.bashrc:
BROWSER=/usr/bin/firefox; export BROWSER