diff options
| author | Agent00Ming <107314235+Agent00Ming@users.noreply.github.com> | 2024-04-24 11:07:22 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-24 16:07:22 +0100 |
| commit | 81bb4eb2f6e385431dab0ae664bb59f35c8c069e (patch) | |
| tree | d2328e4d22462dc440212b9c253d25cbe539091b /src/helpers/MiscFunctions.cpp | |
| parent | e5fa0007a5b3a86948582e6d7dab0073a309553a (diff) | |
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>
Diffstat (limited to 'src/helpers/MiscFunctions.cpp')
| -rw-r--r-- | src/helpers/MiscFunctions.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/helpers/MiscFunctions.cpp b/src/helpers/MiscFunctions.cpp index 779b45b1..b8061bef 100644 --- a/src/helpers/MiscFunctions.cpp +++ b/src/helpers/MiscFunctions.cpp @@ -256,7 +256,7 @@ bool isDirection(const char& arg) { int getWorkspaceIDFromString(const std::string& in, std::string& outName) { int result = WORKSPACE_INVALID; if (in.starts_with("special")) { - outName = "special"; + outName = "special:special"; if (in.length() > 8) { const auto NAME = in.substr(8); @@ -833,4 +833,4 @@ bool envEnabled(const std::string& env) { if (!ENV) return false; return std::string(ENV) == "1"; -}
\ No newline at end of file +} |