diff options
| author | srdusr <[email protected]> | 2025-01-17 23:01:00 +0200 |
|---|---|---|
| committer | srdusr <[email protected]> | 2025-01-17 23:01:00 +0200 |
| commit | 6c1dfe191843ad56aaa0381e5645ad9e74c38b8b (patch) | |
| tree | 427d72a55eba93b2f0da299342c12bd3c61df1d6 /crates/config/src/engine/support.rs | |
| parent | 3d73ed0f057a555ded67ad58dbe02b36cd4d2d1f (diff) | |
| download | srdwm-6c1dfe191843ad56aaa0381e5645ad9e74c38b8b.tar.gz srdwm-6c1dfe191843ad56aaa0381e5645ad9e74c38b8b.zip | |
Accumulate config engine, build metadata, and doc updates
Remaining files from the backlog: Lua config engine
additions (general/register/support/window), workspace Cargo.toml/
Cargo.lock churn from the new dependencies added elsewhere in this
sweep, srdwm/main.rs wiring, and docs (DEFAULTS.md plus a new
SESSION_HANDOFF.md written mid-session for continuity across a restart
- see that file's own header for what it is and isn't).
Diffstat (limited to 'crates/config/src/engine/support.rs')
| -rw-r--r-- | crates/config/src/engine/support.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/crates/config/src/engine/support.rs b/crates/config/src/engine/support.rs index 9346499..0f83885 100644 --- a/crates/config/src/engine/support.rs +++ b/crates/config/src/engine/support.rs @@ -82,6 +82,7 @@ pub(super) fn validate(s: &SharedState) -> Vec<String> { check_range("layout.floating.gaps.outer", 0.0, 100.0); check_range("general.border_width", 0.0, 20.0); check_range("theme.decorations.border.width", 0.0, 20.0); + check_range("theme.decorations.border.radius", 0.0, 100.0); check_range("general.animation_duration", 0.0, 1000.0); check_range("general.resize_margin", 1.0, 50.0); check_range("performance.max_fps", 30.0, 240.0); @@ -242,6 +243,7 @@ pub(super) fn default_config() -> HashMap<String, ConfigValue> { set("theme.colors.success", String("#a3be8c".into())); set("theme.decorations.border.width", Number(2.0)); + set("theme.decorations.border.radius", Number(6.0)); set("theme.decorations.border.active_color", String("#88c0d0".into())); set("theme.decorations.border.inactive_color", String("#2e3440".into())); set("theme.decorations.border.focused_style", String("solid".into())); |