Merge pull request #160 from mdenet/fix/fix-tool-schemas

Fix tool config schemas
mdenet · Jan 10, 2024 · 3636944 · 3636944
2 parents d5f26e0 + f423c6d
commit 3636944
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 5 deletions.
diff --git a/platform/schemas/paneldef.schema.json b/platform/schemas/paneldef.schema.json
@@ -17,7 +17,7 @@
         "panelclass": {
             "description": "The type of panel.",
             "type": "string",
-            "enum": [ "ProgramPanel", "ConsolePanel", "OutputPanel"]
+            "enum": [ "ProgramPanel", "ConsolePanel", "OutputPanel", "XtextEditorPanel", "CompositePanel"]
         },
         "icon": {
             "description": "Reference to the name of the icon to use.",
@@ -30,8 +30,11 @@
         "buttons": {
             "description": "For tools that create editor instances e.g. language workbenches, reference to the id of a panel of editorActivity that is the editor instance.",
             "type": "array",
-            "$ref": "button.schema.json"
+            "items": {
+                "type": "object",
+                "$ref": "button.schema.json"
+            }
         }
     },
     "required": ["id", "name", "panelclass", "icon"]
-}
+}
diff --git a/platform/schemas/tool-config.schema.json b/platform/schemas/tool-config.schema.json
@@ -27,7 +27,7 @@
                         "$ref": "function.schema.json"
                     }
                 },
-                "paneldefs": {
+                "panelDefs": {
                     "description": "The panel definition object specifies a panel defining each of the customisable areas. There are three classes of panel that determine a panel's primary behaviour: program, console, or output.",
                     "type": "array",
                     "items": {
@@ -41,4 +41,4 @@
         },
 
     "required": ["tool"]
-}
+}