changes

2024-05-25 01:17:39 +02:00
parent a7f24f6229
commit 8c56a9421e
27 changed files with 467 additions and 165 deletions
@@ -0,0 +1,4 @@
+{
+    "window.title": "${dirty}${activeEditorMedium}${separator}${rootName}${separator}${profileName}${separator}${appName}",
+    "workbench.editor.labelFormat": "medium",
+}