ok/jj
1
0
Fork 0
forked from mirrors/jj
Code Pull requests Activity

Add ui.graph.style into config schema

Browse source
This commit is contained in:
David Barnett 2023-01-31 00:21:49 -06:00 committed by David Barnett
parent 6e05c5a829
commit 94b53575d8
1 changed files with 11 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
src/commands/config-schema.json
View file

@ -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"