programs.retext.settings

Configuration settings for retext. All the available options can be found here: https://github.com/retext-project/retext/blob/master/configuration.md.

Declarations

Type

attribute set of section of an INI file (attrs of INI atom (null, bool, int, float or string))

Default

{ }

Example

{
  ColorScheme = {
    htmlComments = "#abc";
    htmlSymbols = "#ff8800";
    htmlTags = "green";
  };
  General = {
    documentStatsEnabled = true;
    lineNumbersEnabled = true;
    relativeLineNumbers = true;
    useWebEngine = true;
  };
}