The settings.ini file

User preferences for DomTerm are key in the file .domterm/settings.ini in the user’s home directory. If the settings.ini is changed it is automatically re-loaded.

The syntax of settings.ini is a variant of the INI file format. A preference is written as:

keyword = value

For example:

window.geometry=800x600

Spaces before or after = are optional. A keyword should be a sequence of letters, numbers, periods or hyphens. The value is almost any sequence of characters (depending of the keyword), up to end of the line.

Multi-line values are written as an empty line following the ‘=’, and then one or lines starting with a single space followed by ‘|’. For example:

style.user =
 |div.domterm { --background-color: azure }
 |div.domterm-spacer {background: none }

In this cases the resulting value has two lines, with the two-character prefixes ‘ |’ removed.

For a boolean value any one of true, yes, or on enable the preference; one of false, no, or off disable the preference.

Comment lines start with # in the first column. Comment lines and all-blank lines are ignored.

window.geometry = geometry

Control the size of new top-level windows. (Currently only works for Electron windows.) The geometry has the same syntax as the --geometry command-line opton, WxH, where W and H are the width and height of the window, in pixels.

The default is 800x600.

style.user = css-style-rules

Set the user stylesheet to the rules in css-style-rules. The latter is typically a multi-line value.

style.dark = value

This option (if set) selects “reverse video”, which is a color preference for a darker background and a ligher foreground (text).

The default is off, which selects lighter background and a darker foreground colors.