programs.retext.settings
Home-Manager option
Configuration settings for retext. All the available options can be found here: https://github.com/retext-project/retext/blob/master/configuration.md.
type: attribute set of section of an INI file (attrs of INI atom (null, bool, int, float or string))Default
{ }Example
declared in: <home-manager/modules/programs/retext.nix>source unavailable{ ColorScheme = { htmlComments = "#abc"; htmlSymbols = "#ff8800"; htmlTags = "green"; }; General = { documentStatsEnabled = true; lineNumbersEnabled = true; relativeLineNumbers = true; useWebEngine = true; }; }