@@ -22,18 +22,15 @@ export type Event =
2222 | ( {
2323 type : "storage.write"
2424 } & EventStorageWrite )
25- | ( {
26- type : "file.edited"
27- } & EventFileEdited )
28- | ( {
29- type : "server.connected"
30- } & EventServerConnected )
3125 | ( {
3226 type : "permission.updated"
3327 } & EventPermissionUpdated )
3428 | ( {
3529 type : "permission.replied"
3630 } & EventPermissionReplied )
31+ | ( {
32+ type : "file.edited"
33+ } & EventFileEdited )
3734 | ( {
3835 type : "session.updated"
3936 } & EventSessionUpdated )
@@ -46,6 +43,9 @@ export type Event =
4643 | ( {
4744 type : "session.error"
4845 } & EventSessionError )
46+ | ( {
47+ type : "server.connected"
48+ } & EventServerConnected )
4949 | ( {
5050 type : "file.watcher.updated"
5151 } & EventFileWatcherUpdated )
@@ -425,20 +425,6 @@ export type EventStorageWrite = {
425425 }
426426}
427427
428- export type EventFileEdited = {
429- type : "file.edited"
430- properties : {
431- file : string
432- }
433- }
434-
435- export type EventServerConnected = {
436- type : "server.connected"
437- properties : {
438- [ key : string ] : unknown
439- }
440- }
441-
442428export type EventPermissionUpdated = {
443429 type : "permission.updated"
444430 properties : Permission
@@ -469,6 +455,13 @@ export type EventPermissionReplied = {
469455 }
470456}
471457
458+ export type EventFileEdited = {
459+ type : "file.edited"
460+ properties : {
461+ file : string
462+ }
463+ }
464+
472465export type EventSessionUpdated = {
473466 type : "session.updated"
474467 properties : {
@@ -530,6 +523,13 @@ export type EventSessionError = {
530523 }
531524}
532525
526+ export type EventServerConnected = {
527+ type : "server.connected"
528+ properties : {
529+ [ key : string ] : unknown
530+ }
531+ }
532+
533533export type EventFileWatcherUpdated = {
534534 type : "file.watcher.updated"
535535 properties : {
0 commit comments