workspace: Fix duplication of "special:" in special workspace name (#5729)
* Fix duplication of "special:" in special workspace name modified: src/desktop/Workspace.cpp * Track default special workspace name as special:special This is to fix the edge cases with the previous commit without breaking user configs. modified: src/helpers/MiscFunctions.cpp --------- Co-authored-by: Agent_00Ming <agent00ming9366@gmail.com>
A
Agent00Ming committed
81bb4eb2f6e385431dab0ae664bb59f35c8c069e
Parent: e5fa000
Committed by GitHub <noreply@github.com>
on 4/24/2024, 3:07:22 PM