From 21594c6ccc5d8ba36860c46416c97529f4532580 Mon Sep 17 00:00:00 2001 From: ncfavier Date: Mon, 27 Feb 2023 12:05:53 +0000 Subject: [PATCH] deploy: 635bbcdd6f8e11799f31d004f933fdb9cd3fff5d --- options.html | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/options.html b/options.html index 2a4d01328..d6ef0e5e8 100644 --- a/options.html +++ b/options.html @@ -2628,6 +2628,11 @@ See programs.git.diff-so-fancy.markEmptyLines

Whether the first block of an empty line should be colored.

Type: boolean

Default: true

Example: false

Declared by:

<home-manager/modules/programs/git.nix> +
programs.git.diff-so-fancy.pagerOpts

Arguments to be passed to less.

Type: list of string

Default:

[
+  "--tabs=4"
+  "-RFX"
+]

Declared by:

+ <home-manager/modules/programs/git.nix>
programs.git.diff-so-fancy.rulerWidth

By default, the separator for the file header spans the full width of the terminal. Use this setting to set the width of the file header manually.

Type: null or signed integer

Default: null

Example: false

Declared by: