Merge pull request #4437 from jp7677/ext-workspaces-remove-dirty-tracking

ext/workspaces: fix appearing of hidden workspaces
This commit is contained in:
Alexis Rouillard
2025-10-01 14:16:03 +02:00
committed by GitHub
3 changed files with 15 additions and 19 deletions

View File

@ -64,6 +64,8 @@ Addressed by *ext/workspaces*
*activate*: Switch to workspace.
*deactivate*: Deactivate the workspace.
*close*: Close the workspace.
# ICONS