From 74bff5c916f726924e3e63f90ece58ab01973b1f Mon Sep 17 00:00:00 2001 From: Martin von Zweigbergk Date: Sun, 5 Feb 2023 22:55:15 -0800 Subject: [PATCH] doc: include diff format in config schema --- src/config-schema.json | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/src/config-schema.json b/src/config-schema.json index e5f5d92a5..4844bac06 100644 --- a/src/config-schema.json +++ b/src/config-schema.json @@ -71,6 +71,17 @@ "description": "Pager to use for displaying command output", "default": "less -FRX" }, + "diff": { + "type": "object", + "description": "Options for how diffs are displayed", + "properties": { + "format": { + "description": "The diff format to use", + "enum": ["color-words", "git", "summary"], + "default": "color-words" + } + } + }, "graph": { "type": "object", "description": "Options for rendering revision graphs from jj log etc",