From da2cc1ac3c2c3ceba3a1d8c5e5ac5fdd8f7c0190 Mon Sep 17 00:00:00 2001 From: Dimitri Sabadie Date: Sat, 16 Sep 2023 15:52:47 +0200 Subject: [PATCH] Revert adding doc about git_diff_*. --- doc/pages/options.asciidoc | 16 ---------------- 1 file changed, 16 deletions(-) diff --git a/doc/pages/options.asciidoc b/doc/pages/options.asciidoc index d056182e..4f69cbfb 100644 --- a/doc/pages/options.asciidoc +++ b/doc/pages/options.asciidoc @@ -388,22 +388,6 @@ are exclusively available to built-in options. relating to a Kakoune version greater than this value will be displayed. Versions are written as a single number: Like `20180413` for version `2018.04.13` -*diff_add_char* `str`:: - _default_ ▏ + - Character used to denote added lines in diffs (e.g. git gutter). - -*diff_mod_char* `str`:: - _default_ ▏ + - Character used to denote modified lines in diffs (e.g. git gutter). - -*diff_del_char* `str`:: - _default_ _ + - Character used to denote deleted lines in diffs (e.g. git gutter). - -*diff_top_char* `str`:: - _default_ ‾ + - Character used to denote the first line deleted in diffs (e.g. git gutter). - == Current values The current value for an option can be viewed using