1
0
mirror of https://github.com/AvengeMedia/DankMaterialShell.git synced 2026-01-24 21:42:51 -05:00

merge the two workspace switcher widgets and add "Show apps" option

This commit is contained in:
bbedward
2025-09-02 18:55:36 -04:00
parent 213543acb3
commit cfbeb6062b
7 changed files with 179 additions and 1289 deletions

View File

@@ -46,6 +46,7 @@ Singleton {
property bool controlCenterShowAudioIcon: true
property bool showWorkspaceIndex: false
property bool showWorkspacePadding: false
property bool showWorkspaceApps: false
property var workspaceNameIcons: ({})
property bool clockCompactMode: false
property bool focusedWindowCompactMode: false
@@ -232,6 +233,8 @@ Singleton {
!== undefined ? settings.showWorkspaceIndex : false
showWorkspacePadding = settings.showWorkspacePadding
!== undefined ? settings.showWorkspacePadding : false
showWorkspaceApps = settings.showWorkspaceApps
!== undefined ? settings.showWorkspaceApps : false
workspaceNameIcons = settings.workspaceNameIcons
!== undefined ? settings.workspaceNameIcons : ({})
clockCompactMode = settings.clockCompactMode
@@ -373,6 +376,7 @@ Singleton {
"controlCenterShowAudioIcon": controlCenterShowAudioIcon,
"showWorkspaceIndex": showWorkspaceIndex,
"showWorkspacePadding": showWorkspacePadding,
"showWorkspaceApps": showWorkspaceApps,
"workspaceNameIcons": workspaceNameIcons,
"clockCompactMode": clockCompactMode,
"focusedWindowCompactMode": focusedWindowCompactMode,
@@ -426,6 +430,11 @@ Singleton {
saveSettings()
}
function setShowWorkspaceApps(enabled) {
showWorkspaceApps = enabled
saveSettings()
}
function setWorkspaceNameIcon(workspaceName, iconData) {
var iconMap = JSON.parse(JSON.stringify(workspaceNameIcons))
iconMap[workspaceName] = iconData