Table of Contents
The Options dialog has a separate "pane" for Valkyrie and Valgrind, as well as for each (supported) Valgrind tool. Any flag or option which can be set on the command line is available for modification via this dialog. In addition, Valkyrie has a number of preference options that can only be set via this dialog.
On first-time startup, all options are set to their installation defaults. These can be changed via both the GUI and the command-line.
Sets all the options on the current page to the installation defaults.
Discards any changes to the current page.
Checks the current page's changes are valid, and uses them for the current session only.
Calls Apply and closes the options window.
Checks current page's changes are valid, uses them for the current session, and then saves the changes in ALL pages for future sessions too.
Note: Starting valkyrie with command-line options does not save these option values to disk. You must explicitly select Save to do this.
Whether tooltips should be shown when the mouse
pointer hovers over a widget.
Applied application-wide.
Whether text labels should be shown next to buttons.
Applied application-wide.
Whether Valkyrie should use your default window palette
(aka "theme") or use her own.
Applied application-wide.
This determines the default browser to use on
clicking an external link. If this option is empty (default),
or fails to launch, a working browser is looked for in the
environment variable $BROWSER. If that also fails, some well
known browsers are tried. If a '-remote' command is given,
the "%s" string is replaced with the targed url.
Example: "mozilla -remote openUrl(%s,new-tab)".
This determines the default directory for the user to save
their log files.
Note: When running, Valkyrie generates temporary log files. These
are stored under /tmp/valkyrie_logs (this can be changed when building Valkyrie).
Example: "./".
Example: "/home/myself/valkyrie_logs".
This determines the working directory under which valgrind runs
(and therefore also the program being run by Valgrind). This does
not change the current working directory of Valkyrie itself, but the
that of the program being run.
Example: "./".
Example: "/home/myself/valkyrie_working_dir".
This option specifies a project file for Valkyrie to use.
All settings needed by Valkyrie will be read from this file,
and all settings that the user changes will be saved to this file.
The file must have the extension ".conf".
Example: "myVkProject.conf".
This is the general application font.
If the 'Using system default' checkbox is enabled, Valkyrie will use
your default system font. If it is disabled, you can click "Choose"
to bring up a font dialog to allow you to select an alternative font.
Applied application-wide, except for the main display of the
tools.
This font is used for the main display of the tools,
for example the treeview of memcheck. Clicking "Choose" will bring
up a font dialog to allow you to select an alternative font.
Applied to all tools.
Memcheck-specific. This value specifies the number of
source code lines to be shown above and below the target source line when
displaying errors in Memcheck ToolView.
Note that changing this value will not take effect until the next
run.
Specify the
/path/to/your/favourite/editor.
In Memcheck, the editor is launched when a stack frame is
double-clicked within Memcheck ToolView. A replacement string
"%n" is defined, which will be replaced with the target line number,
when available, to open up the editor on that line number.
Example: "emacs +%n" => "emacs +21 /path/to/srcfile".
Change the name of the executable to run to /path/to/your/executable. If you started Valkyrie on the command line with valkyrie /path/to/exe then /path/to/exe is stored here.
Change the flags relevant to your executable. If you started Valkyrie on the command line with valkyrie /path/to/your/exe --your-flags then --your-flags is stored here.
This is the /path/to/valgrind. You may change this to point to a different Valgrind executable.