diff options
| author | Max Verevkin <34583604+MaxVerevkin@users.noreply.github.com> | 2023-04-11 16:28:32 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-11 14:28:32 +0100 |
| commit | c2f29be9baccd14ced62105f0fc07e34e6f4fd29 (patch) | |
| tree | f98bebac18786971fc7166bbd0f6094c95aef03f /src/managers/KeybindManager.cpp | |
| parent | 16a034a34a8e97aaeed6e3f46d04c87497313c20 (diff) | |
make ext_workspace_unstable impl more atomic (#2023)
Diffstat (limited to 'src/managers/KeybindManager.cpp')
| -rw-r--r-- | src/managers/KeybindManager.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/managers/KeybindManager.cpp b/src/managers/KeybindManager.cpp index caad8d82..a039f43a 100644 --- a/src/managers/KeybindManager.cpp +++ b/src/managers/KeybindManager.cpp @@ -960,6 +960,9 @@ void CKeybindManager::changeworkspace(std::string args) { if (ANOTHERMONITOR) g_pCompositor->warpCursorTo(PMONITOR->vecPosition + PMONITOR->vecSize / 2.f); + // Destroy old workspace if it is empty + g_pCompositor->sanityCheckWorkspaces(); + Debug::log(LOG, "Changed to workspace %i", workspaceToChangeTo); } |
