From 94b53575d8caff23fb4efbe68a075c935826658b Mon Sep 17 00:00:00 2001
From: David Barnett <dbarnett@google.com>
Date: Tue, 31 Jan 2023 00:21:49 -0600
Subject: [PATCH] Add ui.graph.style into config schema

---
 src/commands/config-schema.json | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/src/commands/config-schema.json b/src/commands/config-schema.json
index 1c176e81b..7264770f1 100644
--- a/src/commands/config-schema.json
+++ b/src/commands/config-schema.json
@@ -71,6 +71,17 @@
                     "description": "Pager to use for displaying command output",
                     "default": "less -FRX"
                 },
+                "graph": {
+                    "type": "object",
+                    "description": "Options for rendering revision graphs from jj log etc",
+                    "properties": {
+                        "style": {
+                            "description": "Style of connectors/markings used to render the graph. See https://github.com/martinvonz/jj/blob/main/docs/config.md#graph-style",
+                            "enum": ["legacy", "curved", "square", "ascii", "ascii-large"],
+                            "default": "legacy"
+                        }
+                    }
+                },
                 "editor": {
                     "type": "string",
                     "description": "Editor to use for commands that involve editing text"