1
0
mirror of https://github.com/AvengeMedia/DankMaterialShell.git synced 2025-12-07 14:05:38 -05:00

Added number indexing option for the workspace switcher

This commit is contained in:
amadoabad
2025-07-20 00:03:39 +03:00
parent 4202b8323b
commit fa3d02552a
3 changed files with 30 additions and 1 deletions

View File

@@ -31,6 +31,8 @@ Singleton {
property bool showClipboard: true
property bool showSystemResources: true
property bool showSystemTray: true
// WorkspaceSwitcher index toggle
property bool showWorkspaceIndex: true
// View mode preferences for launchers
property string appLauncherViewMode: "list"
property string spotlightLauncherViewMode: "list"
@@ -62,6 +64,7 @@ Singleton {
showClipboard = settings.showClipboard !== undefined ? settings.showClipboard : true;
showSystemResources = settings.showSystemResources !== undefined ? settings.showSystemResources : true;
showSystemTray = settings.showSystemTray !== undefined ? settings.showSystemTray : true;
showWorkspaceIndex = settings.showWorkspaceIndex !== undefined ? settings.showWorkspaceIndex : true;
appLauncherViewMode = settings.appLauncherViewMode !== undefined ? settings.appLauncherViewMode : "list";
spotlightLauncherViewMode = settings.spotlightLauncherViewMode !== undefined ? settings.spotlightLauncherViewMode : "list";
networkPreference = settings.networkPreference !== undefined ? settings.networkPreference : "auto";
@@ -96,6 +99,7 @@ Singleton {
"showClipboard": showClipboard,
"showSystemResources": showSystemResources,
"showSystemTray": showSystemTray,
"showWorkspaceIndex": showWorkspaceIndex,
"appLauncherViewMode": appLauncherViewMode,
"spotlightLauncherViewMode": spotlightLauncherViewMode,
"networkPreference": networkPreference
@@ -103,6 +107,12 @@ Singleton {
console.log("Saving settings - themeIndex:", themeIndex, "isDynamic:", themeIsDynamic, "lightMode:", isLightMode, "transparency:", topBarTransparency, "recentApps:", recentlyUsedApps.length);
}
function setShowWorkspaceIndex(enabled) {
console.log("Prefs setShowWorkspaceIndex called - showWorkspaceIndex:", enabled);
showWorkspaceIndex = enabled;
saveSettings();
}
function applyStoredTheme() {
console.log("Applying stored theme:", themeIndex, themeIsDynamic, "lightMode:", isLightMode);
if (typeof Theme !== "undefined") {