From d43c9ae832dc7628da1e9fcc69a2ac00300e7bfe Mon Sep 17 00:00:00 2001 From: alex-ds13 <145657253+alex-ds13@users.noreply.github.com> Date: Sun, 23 Feb 2025 12:35:26 +0000 Subject: [PATCH] docs(schema): update schema with monitor padding --- komorebi/src/static_config.rs | 4 ++-- schema.json | 12 +++++++++++- 2 files changed, 13 insertions(+), 3 deletions(-) diff --git a/komorebi/src/static_config.rs b/komorebi/src/static_config.rs index e10d54c2..84770773 100644 --- a/komorebi/src/static_config.rs +++ b/komorebi/src/static_config.rs @@ -140,7 +140,7 @@ pub struct WorkspaceConfig { /// Container padding (default: global) #[serde(skip_serializing_if = "Option::is_none")] pub container_padding: Option, - /// Container padding (default: global) + /// Workspace padding (default: global) #[serde(skip_serializing_if = "Option::is_none")] pub workspace_padding: Option, /// Initial workspace application rules @@ -259,7 +259,7 @@ pub struct MonitorConfig { /// Container padding (default: global) #[serde(skip_serializing_if = "Option::is_none")] pub container_padding: Option, - /// Container padding (default: global) + /// Workspace padding (default: global) #[serde(skip_serializing_if = "Option::is_none")] pub workspace_padding: Option, } diff --git a/schema.json b/schema.json index bc1f67c4..eb77b951 100644 --- a/schema.json +++ b/schema.json @@ -1075,6 +1075,11 @@ "workspaces" ], "properties": { + "container_padding": { + "description": "Container padding (default: global)", + "type": "integer", + "format": "int32" + }, "window_based_work_area_offset": { "description": "Window based work area offset (default: None)", "type": "object", @@ -1144,6 +1149,11 @@ } } }, + "workspace_padding": { + "description": "Workspace padding (default: global)", + "type": "integer", + "format": "int32" + }, "workspaces": { "description": "Workspace configurations", "type": "array", @@ -1346,7 +1356,7 @@ } }, "workspace_padding": { - "description": "Container padding (default: global)", + "description": "Workspace padding (default: global)", "type": "integer", "format": "int32" },