The next version of GVD will have full support for preferences. In 1.0.2, it is possible to create a preferences file ($HOME/.gvd/preferences) by hand, in which case, the value of the various field can be found in gvd-preferences.ads The other solution would be to modify the values in gvd-preferences.adb and recompile GVD. Arno