lint

jtpio · jtpio · commit 19b8564be5db · 2025-09-29T10:00:55.000+02:00
diff --git a/packages/application-extension/schema/shell.json b/packages/application-extension/schema/shell.json
@@ -9,7 +9,7 @@
       "title": "Customize shell widget positioning",
       "description": "Overrides default widget position in the application layout",
       "default": {
-        "Debugger console": { "area": "down"},
+        "Debugger console": { "area": "down" },
         "Markdown Preview": { "area": "right" },
         "Plugins": { "area": "left" }
       }

Original file line number	Diff line number	Diff line change
`@@ -9,7 +9,7 @@`
`9`	`9`	`"title": "Customize shell widget positioning",`
`10`	`10`	`"description": "Overrides default widget position in the application layout",`
`11`	`11`	`"default": {`
`12`		`- "Debugger console": { "area": "down"},`
	`12`	`+ "Debugger console": { "area": "down" },`
`13`	`13`	`"Markdown Preview": { "area": "right" },`
`14`	`14`	`"Plugins": { "area": "left" }`
`15`	`15`	`}`