HistPresent.HelpDir: $(MARABOU)/doc/html/hpr HistPresent.WorkFileName: q3dparams.root HistPresent.PrintCommand: lpr -Paul HistPresent.LastSettingsName: defaults/LastIn addition parameters set from the various options menus are remembered in this file.
Apropos LastSettingsName:
If the path LastSettingsName is defined ranges and scales
(lin - log) of histograms are remembered during and between
sessions in files with names defaults/Last_histname.def. It
is convenient to use an own subdirectory (in this example
$CWD/defaults) for this. LastSettingsName may be any legal
pathname e.g. /tmp/$(USER)/ Note: Use $(USER) instead of just
$USER for compatibility reasons.