feat: add eruda devtools for debugging

src/ace/commands.js

@@ -365,6 +365,22 @@ const commands = [
 		},
 		readOnly: true,
 	},
+	{
+		name: "dev:toggleInspector",
+		description: "Toggle Inspector",
+		exec() {
+			acode.exec("toggle-inspector");
+		},
+		readOnly: true,
+	},
+	{
+		name: "dev:openInspector",
+		description: "Open Inspector",
+		exec() {
+			acode.exec("open-inspector");
+		},
+		readOnly: true,
+	},
 ];
 
 export function setCommands(editor) {

src/lang/ar-ye.json

@@ -494,5 +494,9 @@
 	"command palette": "Open Command Palette",
 	"change theme": "Change Theme",
 	"documentation": "Documentation",
-	"open in terminal": "Open in Terminal"
+	"open in terminal": "Open in Terminal",
+	"developer mode": "Developer Mode",
+	"info-developermode": "Enable developer tools (Eruda) for debugging plugins and inspecting app state. Inspector will be initialized on app start.",
+	"developer mode enabled": "Developer mode enabled. Use command palette to toggle inspector (Ctrl+Shift+I).",
+	"developer mode disabled": "Developer mode disabled"
 }

src/lang/be-by.json

@@ -495,5 +495,9 @@
 	"command palette": "Open Command Palette",
 	"change theme": "Change Theme",
 	"documentation": "Documentation",
-	"open in terminal": "Open in Terminal"
+	"open in terminal": "Open in Terminal",
+	"developer mode": "Developer Mode",
+	"info-developermode": "Enable developer tools (Eruda) for debugging plugins and inspecting app state. Inspector will be initialized on app start.",
+	"developer mode enabled": "Developer mode enabled. Use command palette to toggle inspector (Ctrl+Shift+I).",
+	"developer mode disabled": "Developer mode disabled"
 }

src/lang/bn-bd.json

@@ -494,5 +494,9 @@
 	"command palette": "Open Command Palette",
 	"change theme": "Change Theme",
 	"documentation": "Documentation",
-	"open in terminal": "Open in Terminal"
+	"open in terminal": "Open in Terminal",
+	"developer mode": "Developer Mode",
+	"info-developermode": "Enable developer tools (Eruda) for debugging plugins and inspecting app state. Inspector will be initialized on app start.",
+	"developer mode enabled": "Developer mode enabled. Use command palette to toggle inspector (Ctrl+Shift+I).",
+	"developer mode disabled": "Developer mode disabled"
 }

src/lang/cs-cz.json

@@ -494,5 +494,9 @@
 	"command palette": "Otevřít paletu příkazů",
 	"change theme": "Změnit motiv",
 	"documentation": "Dokumentace",
-	"open in terminal": "Otevřít v terminálu"
+	"open in terminal": "Otevřít v terminálu",
+	"developer mode": "Developer Mode",
+	"info-developermode": "Enable developer tools (Eruda) for debugging plugins and inspecting app state. Inspector will be initialized on app start.",
+	"developer mode enabled": "Developer mode enabled. Use command palette to toggle inspector (Ctrl+Shift+I).",
+	"developer mode disabled": "Developer mode disabled"
 }

src/lang/de-de.json

@@ -494,5 +494,9 @@
 	"command palette": "Open Command Palette",
 	"change theme": "Change Theme",
 	"documentation": "Documentation",
-	"open in terminal": "Open in Terminal"
+	"open in terminal": "Open in Terminal",
+	"developer mode": "Developer Mode",
+	"info-developermode": "Enable developer tools (Eruda) for debugging plugins and inspecting app state. Inspector will be initialized on app start.",
+	"developer mode enabled": "Developer mode enabled. Use command palette to toggle inspector (Ctrl+Shift+I).",
+	"developer mode disabled": "Developer mode disabled"
 }

src/lang/en-us.json

@@ -494,5 +494,9 @@
 	"command palette": "Open Command Palette",
 	"change theme": "Change Theme",
 	"documentation": "Documentation",
-	"open in terminal": "Open in Terminal"
+	"open in terminal": "Open in Terminal",
+	"developer mode": "Developer Mode",
+	"info-developermode": "Enable developer tools (Eruda) for debugging plugins and inspecting app state. Inspector will be initialized on app start.",
+	"developer mode enabled": "Developer mode enabled. Use command palette to toggle inspector (Ctrl+Shift+I).",
+	"developer mode disabled": "Developer mode disabled"
 }

src/lang/es-sv.json

@@ -494,5 +494,9 @@
 	"command palette": "Open Command Palette",
 	"change theme": "Change Theme",
 	"documentation": "Documentation",
-	"open in terminal": "Open in Terminal"
+	"open in terminal": "Open in Terminal",
+	"developer mode": "Developer Mode",
+	"info-developermode": "Enable developer tools (Eruda) for debugging plugins and inspecting app state. Inspector will be initialized on app start.",
+	"developer mode enabled": "Developer mode enabled. Use command palette to toggle inspector (Ctrl+Shift+I).",
+	"developer mode disabled": "Developer mode disabled"
 }

src/lang/fr-fr.json

@@ -494,5 +494,9 @@
 	"command palette": "Open Command Palette",
 	"change theme": "Change Theme",
 	"documentation": "Documentation",
-	"open in terminal": "Open in Terminal"
+	"open in terminal": "Open in Terminal",
+	"developer mode": "Developer Mode",
+	"info-developermode": "Enable developer tools (Eruda) for debugging plugins and inspecting app state. Inspector will be initialized on app start.",
+	"developer mode enabled": "Developer mode enabled. Use command palette to toggle inspector (Ctrl+Shift+I).",
+	"developer mode disabled": "Developer mode disabled"
 }

src/lang/he-il.json

@@ -495,5 +495,9 @@
 	"command palette": "Open Command Palette",
 	"change theme": "Change Theme",
 	"documentation": "Documentation",
-	"open in terminal": "Open in Terminal"
+	"open in terminal": "Open in Terminal",
+	"developer mode": "Developer Mode",
+	"info-developermode": "Enable developer tools (Eruda) for debugging plugins and inspecting app state. Inspector will be initialized on app start.",
+	"developer mode enabled": "Developer mode enabled. Use command palette to toggle inspector (Ctrl+Shift+I).",
+	"developer mode disabled": "Developer mode disabled"
 }

src/lang/hi-in.json

@@ -495,5 +495,9 @@
 	"command palette": "Open Command Palette",
 	"change theme": "Change Theme",
 	"documentation": "Documentation",
-	"open in terminal": "Open in Terminal"
+	"open in terminal": "Open in Terminal",
+	"developer mode": "Developer Mode",
+	"info-developermode": "Enable developer tools (Eruda) for debugging plugins and inspecting app state. Inspector will be initialized on app start.",
+	"developer mode enabled": "Developer mode enabled. Use command palette to toggle inspector (Ctrl+Shift+I).",
+	"developer mode disabled": "Developer mode disabled"
 }

src/lang/hu-hu.json

@@ -494,5 +494,9 @@
 	"command palette": "Parancspaletta megnyitása",
 	"change theme": "Téma módosítása",
 	"documentation": "Dokumentáció",
-	"open in terminal": "Megnyitás terminálban"
+	"open in terminal": "Megnyitás terminálban",
+	"developer mode": "Developer Mode",
+	"info-developermode": "Enable developer tools (Eruda) for debugging plugins and inspecting app state. Inspector will be initialized on app start.",
+	"developer mode enabled": "Developer mode enabled. Use command palette to toggle inspector (Ctrl+Shift+I).",
+	"developer mode disabled": "Developer mode disabled"
 }

src/lang/id-id.json

@@ -495,5 +495,9 @@
 	"command palette": "Open Command Palette",
 	"change theme": "Change Theme",
 	"documentation": "Documentation",
-	"open in terminal": "Open in Terminal"
+	"open in terminal": "Open in Terminal",
+	"developer mode": "Developer Mode",
+	"info-developermode": "Enable developer tools (Eruda) for debugging plugins and inspecting app state. Inspector will be initialized on app start.",
+	"developer mode enabled": "Developer mode enabled. Use command palette to toggle inspector (Ctrl+Shift+I).",
+	"developer mode disabled": "Developer mode disabled"
 }

src/lang/ir-fa.json

@@ -495,5 +495,9 @@
 	"command palette": "Open Command Palette",
 	"change theme": "Change Theme",
 	"documentation": "Documentation",
-	"open in terminal": "Open in Terminal"
+	"open in terminal": "Open in Terminal",
+	"developer mode": "Developer Mode",
+	"info-developermode": "Enable developer tools (Eruda) for debugging plugins and inspecting app state. Inspector will be initialized on app start.",
+	"developer mode enabled": "Developer mode enabled. Use command palette to toggle inspector (Ctrl+Shift+I).",
+	"developer mode disabled": "Developer mode disabled"
 }

src/lang/it-it.json

@@ -494,5 +494,9 @@
 	"command palette": "Open Command Palette",
 	"change theme": "Change Theme",
 	"documentation": "Documentation",
-	"open in terminal": "Open in Terminal"
+	"open in terminal": "Open in Terminal",
+	"developer mode": "Developer Mode",
+	"info-developermode": "Enable developer tools (Eruda) for debugging plugins and inspecting app state. Inspector will be initialized on app start.",
+	"developer mode enabled": "Developer mode enabled. Use command palette to toggle inspector (Ctrl+Shift+I).",
+	"developer mode disabled": "Developer mode disabled"
 }

src/lang/ja-jp.json

@@ -494,5 +494,9 @@
 	"command palette": "Open Command Palette",
 	"change theme": "Change Theme",
 	"documentation": "Documentation",
-	"open in terminal": "Open in Terminal"
+	"open in terminal": "Open in Terminal",
+	"developer mode": "Developer Mode",
+	"info-developermode": "Enable developer tools (Eruda) for debugging plugins and inspecting app state. Inspector will be initialized on app start.",
+	"developer mode enabled": "Developer mode enabled. Use command palette to toggle inspector (Ctrl+Shift+I).",
+	"developer mode disabled": "Developer mode disabled"
 }

src/lang/ko-kr.json

@@ -494,5 +494,9 @@
 	"command palette": "Open Command Palette",
 	"change theme": "Change Theme",
 	"documentation": "Documentation",
-	"open in terminal": "Open in Terminal"
+	"open in terminal": "Open in Terminal",
+	"developer mode": "Developer Mode",
+	"info-developermode": "Enable developer tools (Eruda) for debugging plugins and inspecting app state. Inspector will be initialized on app start.",
+	"developer mode enabled": "Developer mode enabled. Use command palette to toggle inspector (Ctrl+Shift+I).",
+	"developer mode disabled": "Developer mode disabled"
 }

src/lang/ml-in.json

@@ -494,5 +494,9 @@
 	"command palette": "Open Command Palette",
 	"change theme": "Change Theme",
 	"documentation": "Documentation",
-	"open in terminal": "Open in Terminal"
+	"open in terminal": "Open in Terminal",
+	"developer mode": "Developer Mode",
+	"info-developermode": "Enable developer tools (Eruda) for debugging plugins and inspecting app state. Inspector will be initialized on app start.",
+	"developer mode enabled": "Developer mode enabled. Use command palette to toggle inspector (Ctrl+Shift+I).",
+	"developer mode disabled": "Developer mode disabled"
 }

src/lang/mm-unicode.json

@@ -494,5 +494,9 @@
 	"command palette": "Open Command Palette",
 	"change theme": "Change Theme",
 	"documentation": "Documentation",
-	"open in terminal": "Open in Terminal"
+	"open in terminal": "Open in Terminal",
+	"developer mode": "Developer Mode",
+	"info-developermode": "Enable developer tools (Eruda) for debugging plugins and inspecting app state. Inspector will be initialized on app start.",
+	"developer mode enabled": "Developer mode enabled. Use command palette to toggle inspector (Ctrl+Shift+I).",
+	"developer mode disabled": "Developer mode disabled"
 }

src/lang/mm-zawgyi.json

@@ -494,5 +494,9 @@
 	"command palette": "Open Command Palette",
 	"change theme": "Change Theme",
 	"documentation": "Documentation",
-	"open in terminal": "Open in Terminal"
+	"open in terminal": "Open in Terminal",
+	"developer mode": "Developer Mode",
+	"info-developermode": "Enable developer tools (Eruda) for debugging plugins and inspecting app state. Inspector will be initialized on app start.",
+	"developer mode enabled": "Developer mode enabled. Use command palette to toggle inspector (Ctrl+Shift+I).",
+	"developer mode disabled": "Developer mode disabled"
 }

src/lang/pl-pl.json

@@ -494,5 +494,9 @@
 	"command palette": "Open Command Palette",
 	"change theme": "Change Theme",
 	"documentation": "Documentation",
-	"open in terminal": "Open in Terminal"
+	"open in terminal": "Open in Terminal",
+	"developer mode": "Developer Mode",
+	"info-developermode": "Enable developer tools (Eruda) for debugging plugins and inspecting app state. Inspector will be initialized on app start.",
+	"developer mode enabled": "Developer mode enabled. Use command palette to toggle inspector (Ctrl+Shift+I).",
+	"developer mode disabled": "Developer mode disabled"
 }

src/lang/pt-br.json

@@ -494,5 +494,9 @@
 	"command palette": "Open Command Palette",
 	"change theme": "Change Theme",
 	"documentation": "Documentation",
-	"open in terminal": "Open in Terminal"
+	"open in terminal": "Open in Terminal",
+	"developer mode": "Developer Mode",
+	"info-developermode": "Enable developer tools (Eruda) for debugging plugins and inspecting app state. Inspector will be initialized on app start.",
+	"developer mode enabled": "Developer mode enabled. Use command palette to toggle inspector (Ctrl+Shift+I).",
+	"developer mode disabled": "Developer mode disabled"
 }

src/lang/pu-in.json

@@ -494,5 +494,9 @@
 	"command palette": "Open Command Palette",
 	"change theme": "Change Theme",
 	"documentation": "Documentation",
-	"open in terminal": "Open in Terminal"
+	"open in terminal": "Open in Terminal",
+	"developer mode": "Developer Mode",
+	"info-developermode": "Enable developer tools (Eruda) for debugging plugins and inspecting app state. Inspector will be initialized on app start.",
+	"developer mode enabled": "Developer mode enabled. Use command palette to toggle inspector (Ctrl+Shift+I).",
+	"developer mode disabled": "Developer mode disabled"
 }

src/lang/ru-ru.json

@@ -494,5 +494,9 @@
 	"command palette": "Open Command Palette",
 	"change theme": "Change Theme",
 	"documentation": "Documentation",
-	"open in terminal": "Open in Terminal"
+	"open in terminal": "Open in Terminal",
+	"developer mode": "Developer Mode",
+	"info-developermode": "Enable developer tools (Eruda) for debugging plugins and inspecting app state. Inspector will be initialized on app start.",
+	"developer mode enabled": "Developer mode enabled. Use command palette to toggle inspector (Ctrl+Shift+I).",
+	"developer mode disabled": "Developer mode disabled"
 }

src/lang/tl-ph.json

@@ -494,5 +494,9 @@
 	"command palette": "Open Command Palette",
 	"change theme": "Change Theme",
 	"documentation": "Documentation",
-	"open in terminal": "Open in Terminal"
+	"open in terminal": "Open in Terminal",
+	"developer mode": "Developer Mode",
+	"info-developermode": "Enable developer tools (Eruda) for debugging plugins and inspecting app state. Inspector will be initialized on app start.",
+	"developer mode enabled": "Developer mode enabled. Use command palette to toggle inspector (Ctrl+Shift+I).",
+	"developer mode disabled": "Developer mode disabled"
 }

src/lang/tr-tr.json

@@ -494,5 +494,9 @@
 	"command palette": "Open Command Palette",
 	"change theme": "Change Theme",
 	"documentation": "Documentation",
-	"open in terminal": "Open in Terminal"
+	"open in terminal": "Open in Terminal",
+	"developer mode": "Developer Mode",
+	"info-developermode": "Enable developer tools (Eruda) for debugging plugins and inspecting app state. Inspector will be initialized on app start.",
+	"developer mode enabled": "Developer mode enabled. Use command palette to toggle inspector (Ctrl+Shift+I).",
+	"developer mode disabled": "Developer mode disabled"
 }

src/lang/uk-ua.json

@@ -494,5 +494,9 @@
 	"command palette": "Відкрити палітру команд",
 	"change theme": "Змінити тему",
 	"documentation": "Документація",
-	"open in terminal": "Відкрити в терміналі"
+	"open in terminal": "Відкрити в терміналі",
+	"developer mode": "Developer Mode",
+	"info-developermode": "Enable developer tools (Eruda) for debugging plugins and inspecting app state. Inspector will be initialized on app start.",
+	"developer mode enabled": "Developer mode enabled. Use command palette to toggle inspector (Ctrl+Shift+I).",
+	"developer mode disabled": "Developer mode disabled"
 }

src/lang/uz-uz.json

@@ -494,5 +494,9 @@
 	"command palette": "Open Command Palette",
 	"change theme": "Change Theme",
 	"documentation": "Documentation",
-	"open in terminal": "Open in Terminal"
+	"open in terminal": "Open in Terminal",
+	"developer mode": "Developer Mode",
+	"info-developermode": "Enable developer tools (Eruda) for debugging plugins and inspecting app state. Inspector will be initialized on app start.",
+	"developer mode enabled": "Developer mode enabled. Use command palette to toggle inspector (Ctrl+Shift+I).",
+	"developer mode disabled": "Developer mode disabled"
 }

src/lang/vi-vn.json

@@ -495,5 +495,9 @@
 	"command palette": "Open Command Palette",
 	"change theme": "Change Theme",
 	"documentation": "Documentation",
-	"open in terminal": "Open in Terminal"
+	"open in terminal": "Open in Terminal",
+	"developer mode": "Developer Mode",
+	"info-developermode": "Enable developer tools (Eruda) for debugging plugins and inspecting app state. Inspector will be initialized on app start.",
+	"developer mode enabled": "Developer mode enabled. Use command palette to toggle inspector (Ctrl+Shift+I).",
+	"developer mode disabled": "Developer mode disabled"
 }

src/lang/zh-cn.json

@@ -494,5 +494,9 @@
 	"command palette": "Open Command Palette",
 	"change theme": "Change Theme",
 	"documentation": "Documentation",
-	"open in terminal": "Open in Terminal"
+	"open in terminal": "Open in Terminal",
+	"developer mode": "Developer Mode",
+	"info-developermode": "Enable developer tools (Eruda) for debugging plugins and inspecting app state. Inspector will be initialized on app start.",
+	"developer mode enabled": "Developer mode enabled. Use command palette to toggle inspector (Ctrl+Shift+I).",
+	"developer mode disabled": "Developer mode disabled"
 }

src/lang/zh-hant.json

@@ -494,5 +494,9 @@
 	"command palette": "Open Command Palette",
 	"change theme": "Change Theme",
 	"documentation": "Documentation",
-	"open in terminal": "Open in Terminal"
+	"open in terminal": "Open in Terminal",
+	"developer mode": "Developer Mode",
+	"info-developermode": "Enable developer tools (Eruda) for debugging plugins and inspecting app state. Inspector will be initialized on app start.",
+	"developer mode enabled": "Developer mode enabled. Use command palette to toggle inspector (Ctrl+Shift+I).",
+	"developer mode disabled": "Developer mode disabled"
 }

src/lang/zh-tw.json

@@ -494,5 +494,9 @@
 	"command palette": "Open Command Palette",
 	"change theme": "Change Theme",
 	"documentation": "Documentation",
-	"open in terminal": "Open in Terminal"
+	"open in terminal": "Open in Terminal",
+	"developer mode": "Developer Mode",
+	"info-developermode": "Enable developer tools (Eruda) for debugging plugins and inspecting app state. Inspector will be initialized on app start.",
+	"developer mode enabled": "Developer mode enabled. Use command palette to toggle inspector (Ctrl+Shift+I).",
+	"developer mode disabled": "Developer mode disabled"
 }

src/lib/commands.js

@@ -487,4 +487,12 @@ Additional Info:
 	welcome() {
 		openWelcomeTab();
 	},
+	async "toggle-inspector"() {
+		const devTools = (await import("lib/devTools")).default;
+		devTools.toggle();
+	},
+	async "open-inspector"() {
+		const devTools = (await import("lib/devTools")).default;
+		devTools.show();
+	},
 };