Fixed a lot of bugs with new widget rendering

2023-12-28 16:14:30 +01:00
parent 4d66f23391
commit d43dbcacec
17 changed files with 212 additions and 142 deletions
@@ -133,6 +133,13 @@ export type CodeWidgetContent = {
  html?: string;
  markdown?: string;
  script?: string;
+  buttons?: CodeWidgetButton[];
+};
+
+export type CodeWidgetButton = {
+  description: string;
+  svg: string;
+  invokeFunction: string;
 };

 export type LintDiagnostic = {