Merge pull request #257 from mkuritsu/main
Add toggle to hide unoccupied workspaces
This commit is contained in:
commit
59ce164b40
5 changed files with 22 additions and 8 deletions
|
|
@ -87,7 +87,8 @@ Singleton {
|
|||
},
|
||||
"Workspace": {
|
||||
"allowUserSettings": true,
|
||||
"labelMode": "index"
|
||||
"labelMode": "index",
|
||||
"hideUnoccupied": false
|
||||
},
|
||||
"MediaMini": {
|
||||
"allowUserSettings": true,
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue