From 51b3bb5418775db5f593eda827084b22a2fc4049 Mon Sep 17 00:00:00 2001 From: Scott McKendry <39483124+scottmckendry@users.noreply.github.com> Date: Tue, 7 May 2024 06:34:27 +1200 Subject: [PATCH] docs: add new 'border' option to config doc --- docs/Config.md | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/Config.md b/docs/Config.md index 48e15f69f..bb0fe77e4 100644 --- a/docs/Config.md +++ b/docs/Config.md @@ -33,6 +33,7 @@ to the top of your config file or via [Visual Studio Code settings.json config][ gui: scrollHeight: 2 language: 'auto' # one of 'auto' | 'en' | 'pl' | 'nl' | 'de' | 'tr' + border: 'single' # one of 'single' | 'rounded' | 'double' | 'hidden' theme: activeBorderColor: - green