diff options
| author | Can Celik <ogulcancelik@gmail.com> | 2026-08-15 15:09:53 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-08-15 15:09:53 +0300 |
| commit | 15539d3dec40bcc40e6f4bb0eaa4f073ad26b74f (patch) | |
| tree | 2ff7cf0353d3c3228f32d5d7756b45ba2486edb2 /src/config/io.rs | |
| parent | b660cad80450147610091e0e5758faa6276e5983 (diff) | |
feat: make headless terminal size configurable (#2829)
refs #2828
Diffstat (limited to 'src/config/io.rs')
| -rw-r--r-- | src/config/io.rs | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/config/io.rs b/src/config/io.rs index 7ed82395..898cf077 100644 --- a/src/config/io.rs +++ b/src/config/io.rs @@ -10,6 +10,7 @@ const KNOWN_TOP_LEVEL_CONFIG_KEYS: &[&str] = &[ "keys", "onboarding", "remote", + "server", "session", "terminal", "theme", @@ -294,6 +295,14 @@ fn load_live_config_from_str(content: &str) -> Result<LoadedConfig, Vec<String>> ); load_live_section( table, + "server", + "server config", + &mut diagnostics, + &mut invalid_sections, + |section| config.server = section, + ); + load_live_section( + table, "update", "update config", &mut diagnostics, |