script editor

2023-10-06 13:15:19 +02:00
parent 13da56009e
commit e06cf1ae34
35 changed files with 776 additions and 68 deletions
@@ -10,8 +10,7 @@
  export type ModalSelection =
    | { kind: "closed" }
    | { kind: "device.edit", op: DeviceEditOp }
-    | { kind: "script.edit", id: string | null, lines: ScriptLine[] }
-    | { kind: "script.execute", script: Script }
+    | { kind: "script.edit" }

  export interface ModalContextState {
    modal: Writable<ModalSelection>