diff options
| author | bptato <nincsnevem662@gmail.com> | 2023-06-07 16:10:18 +0200 |
|---|---|---|
| committer | bptato <nincsnevem662@gmail.com> | 2023-06-07 16:10:18 +0200 |
| commit | 93848e0c93ef0203393c48c8d9b48a2b51743107 (patch) | |
| tree | 35113b8c73e831ab76d5de9bf7897857cdd8ce6a /src/config | |
| parent | d78298ae3369374bf7bf31592513d112c75a9601 (diff) | |
| download | chawan-93848e0c93ef0203393c48c8d9b48a2b51743107.tar.gz | |
Add XTERM title renaming
Diffstat (limited to 'src/config')
| -rw-r--r-- | src/config/config.nim | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/config/config.nim b/src/config/config.nim index 90402149..d242c37d 100644 --- a/src/config/config.nim +++ b/src/config/config.nim @@ -88,6 +88,7 @@ type double_width_ambiguous*: bool minimum_contrast*: int32 force_clear*: bool + set_title*: bool #TODO: add JS wrappers for objects Config* = ref ConfigObj |