trigger editor

2023-10-12 23:27:04 +02:00
parent e06cf1ae34
commit 16e5726cbc
15 changed files with 410 additions and 45 deletions
@@ -11,6 +11,7 @@
    | { kind: "closed" }
    | { kind: "device.edit", op: DeviceEditOp }
    | { kind: "script.edit" }
+    | { kind: "trigger.edit" }

  export interface ModalContextState {
    modal: Writable<ModalSelection>