diff options
| author | Vaxry <vaxry@vaxry.net> | 2025-10-27 21:29:35 +0000 |
|---|---|---|
| committer | Vaxry <vaxry@vaxry.net> | 2025-10-27 21:29:35 +0000 |
| commit | 431325ff0c9bf76fdda5b68df6d60fa267846c92 (patch) | |
| tree | 3be23fd3cbe2aa2661295f3f73079098c2977ce4 /src/desktop/Workspace.cpp | |
| parent | 40831a90a0354af98e948ce8a4daf6440dc6c390 (diff) | |
config/rule: don't populate ID field for automatically id-managed workspaces
Diffstat (limited to 'src/desktop/Workspace.cpp')
| -rw-r--r-- | src/desktop/Workspace.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/desktop/Workspace.cpp b/src/desktop/Workspace.cpp index a9820635..ee35313a 100644 --- a/src/desktop/Workspace.cpp +++ b/src/desktop/Workspace.cpp @@ -118,7 +118,7 @@ bool CWorkspace::matchesStaticSelector(const std::string& selector_) { return true; if (isNumber(selector)) { - const auto& [wsid, wsname] = getWorkspaceIDNameFromString(selector); + const auto& [wsid, wsname, isAutoID] = getWorkspaceIDNameFromString(selector); if (wsid == WORKSPACE_INVALID) return false; |