diff options
| author | Stefan Haller <stefan@haller-berlin.de> | 2023-09-09 10:42:24 +0200 |
|---|---|---|
| committer | Stefan Haller <stefan@haller-berlin.de> | 2023-09-09 10:42:24 +0200 |
| commit | 5b8a8d356c7070e0297414d78a3a879d57c6301b (patch) | |
| tree | d54eabf4b87333454c8eb1b728ee70cfca97767e /docs | |
| parent | d7e2ca3f10b7e6d6a1fb87636408f1c0bee3d381 (diff) | |
Change the default of the "gui.borders" config to "rounded"
Most people seem to agree that it looks better than the sharp edges of "single".
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/Config.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/Config.md b/docs/Config.md index 0fc9df0d4..6d50aca4c 100644 --- a/docs/Config.md +++ b/docs/Config.md @@ -83,7 +83,7 @@ gui: commandLogSize: 8 splitDiff: 'auto' # one of 'auto' | 'always' skipRewordInEditorWarning: false # for skipping the confirmation before launching the reword editor - border: 'single' # one of 'single' | 'double' | 'rounded' | 'hidden' + border: 'rounded' # one of 'single' | 'double' | 'rounded' | 'hidden' animateExplosion: true # shows an explosion animation when nuking the working tree git: paging: |