prefs: Fix unamed workspace names

2026-10-04 19:46:53 +00:00 · 2019-01-13 14:44:53 +01:00
parent 9f9dbd6af2
commit 22f9d46a02
1 changed files with 1 additions and 1 deletions
@@ -306,7 +306,7 @@ class SettingsWidget {
        if (name === '')
            name = this.workspaceNames[index];
        if (name === undefined)
-            name = `Workspace ${index}`;
+            name = `Workspace ${index + 1}`;
        return name;
    }