| ... | @@ -5,6 +5,9 @@ import { type AppState, reducer } from "./store"; | ... | @@ -5,6 +5,9 @@ import { type AppState, reducer } from "./store"; |
| 5 | import { DEFAULT_THREAD_TERMINAL_HEIGHT, DEFAULT_THREAD_TERMINAL_ID } from "./types"; | 5 | import { DEFAULT_THREAD_TERMINAL_HEIGHT, DEFAULT_THREAD_TERMINAL_ID } from "./types"; |
| 6 | import type { Thread } from "./types"; | 6 | import type { Thread } from "./types"; |
| 7 | | 7 | |
| | 8 | type TerminalStartedEvent = Extract<TerminalEvent, { type: "started" }>; |
| | 9 | type TerminalActivityEvent = Extract<TerminalEvent, { type: "activity" }>; |
| | 10 | |
| 8 | function makeSession(overrides: Partial<ProviderSession> = {}): ProviderSession { | 11 | function makeSession(overrides: Partial<ProviderSession> = {}): ProviderSession { |
| 9 | return { | 12 | return { |
| 10 | sessionId: "sess-1", | 13 | sessionId: "sess-1", |
| ... | @@ -76,7 +79,9 @@ function makeState(thread: Thread): AppState { | ... | @@ -76,7 +79,9 @@ function makeState(thread: Thread): AppState { |
| 76 | }; | 79 | }; |
| 77 | } | 80 | } |
| 78 | | 81 | |
| 79 | function makeTerminalStartedEvent(overrides: Partial<TerminalEvent> = {}): TerminalEvent { | 82 | function makeTerminalStartedEvent( |
| | 83 | overrides: Partial<TerminalStartedEvent> = {}, |
| | 84 | ): TerminalStartedEvent { |
| 80 | return { | 85 | return { |
| 81 | type: "started", | 86 | type: "started", |
| 82 | threadId: "thread-local-1", | 87 | threadId: "thread-local-1", |
| ... | @@ -97,7 +102,9 @@ function makeTerminalStartedEvent(overrides: Partial<TerminalEvent> = {}): Termi | ... | @@ -97,7 +102,9 @@ function makeTerminalStartedEvent(overrides: Partial<TerminalEvent> = {}): Termi |
| 97 | }; | 102 | }; |
| 98 | } | 103 | } |
| 99 | | 104 | |
| 100 | function makeTerminalActivityEvent(overrides: Partial<TerminalEvent> = {}): TerminalEvent { | 105 | function makeTerminalActivityEvent( |
| | 106 | overrides: Partial<TerminalActivityEvent> = {}, |
| | 107 | ): TerminalActivityEvent { |
| 101 | return { | 108 | return { |
| 102 | type: "activity", | 109 | type: "activity", |
| 103 | threadId: "thread-local-1", | 110 | threadId: "thread-local-1", |