From 695f5edf6a943ecc29b64dd1de47db8493b6fcdb Mon Sep 17 00:00:00 2001 From: Peter Fajdiga Date: Sat, 30 Mar 2024 12:45:25 +0100 Subject: [PATCH] config: add option to disable layering (resolves #41) --- package/contents/ui/config.ui | 7 +++++++ src/config/definition.ts | 5 +++++ 2 files changed, 12 insertions(+) diff --git a/package/contents/ui/config.ui b/package/contents/ui/config.ui index 67c9224..cc32233 100644 --- a/package/contents/ui/config.ui +++ b/package/contents/ui/config.ui @@ -121,6 +121,13 @@ + + + + No layering + + + diff --git a/src/config/definition.ts b/src/config/definition.ts index 066d96a..77c411e 100644 --- a/src/config/definition.ts +++ b/src/config/definition.ts @@ -174,6 +174,11 @@ const configDef = [ type: "Bool", default: false, }, + { + name: "noLayering", + type: "Bool", + default: false, + }, { name: "windowRules", type: "String",