From 8c2ae5629881bc291bcebbff9fe951db4822b61f Mon Sep 17 00:00:00 2001 From: iliajie Date: Mon, 31 Oct 2022 16:26:49 +0200 Subject: [PATCH] Add actual config option --- xterm/config | 1 + xterm/config.info | 1 + 2 files changed, 2 insertions(+) diff --git a/xterm/config b/xterm/config index a14fe8590..7fa735415 100644 --- a/xterm/config +++ b/xterm/config @@ -1 +1,2 @@ base_port=555 +flavors=1 \ No newline at end of file diff --git a/xterm/config.info b/xterm/config.info index c153edef2..440521e9c 100644 --- a/xterm/config.info +++ b/xterm/config.info @@ -1,2 +1,3 @@ base_port=Base port number for WebSockets connections,0,5 size=Terminal width and height in characters,3,Automatic,5,,,Static (80x24) +flavors=Enable inbuilt command prompt color customization,1,1-Yes,0-No