Tools view
File Modification
Make Backups
Specifies whether SNiFF+ creates a backup file when a file is saved. The setting is used by the Source Editor, the Diff/Merge tool and the Documentation Editor, as well as by the Launch Pad and the Project Editor for project description files. The name of the backup file is
filename
%
.
Default
: selected (make backup file)
New Files Template Directory
Indicates the directory in which template files are stored. Template files are used for new files that are created in SNiFF+. The template that is used is determined by the extension of the new file. Templates must be called
template
.
extension
, whereby
extension
is one of the allowed file type extensions.
Template files are stored in your $SNIFF_DIR/config directory.
Undo Levels
Defines how many commands can be undone in tools like the Source Editor, the Diff/Merge tool and the Documentation Editor.
History
Max. No. of History Menu Entries
Defines the size of the
History
menu, i.e., how many entries are remembered by SNiFF+.
Default
: 10
Logging
Open Log Window on Output
Indicates whether the Log window should automatically appear on your screen when output is written to.
Default
: selected
Use Log File
Indicates whether a log file should be used to store logging information.
Default
: not selected
Log File
Specifies the location of the SNiFF+ log file.
Default
:
On Unix:
$HOME/.sniffrc/sniff.log
On Windows:
%SNIFF_DIR%\Profiles\<Username>\sniff.log