Fix terminal snapshot flushing
This commit is contained in:
@@ -1,4 +1,9 @@
|
||||
import type { TerminalExitInfo, ServerMessage, ClientMessage } from "./terminal.js";
|
||||
import type {
|
||||
TerminalExitInfo,
|
||||
ServerMessage,
|
||||
ClientMessage,
|
||||
TerminalStateSnapshot,
|
||||
} from "./terminal.js";
|
||||
import type { TerminalState } from "../shared/messages.js";
|
||||
import type { CaptureTerminalLinesResult } from "./terminal.js";
|
||||
|
||||
@@ -52,6 +57,11 @@ export type TerminalWorkerRequest =
|
||||
terminalId: string;
|
||||
options?: WorkerKillAndWaitOptions;
|
||||
}
|
||||
| {
|
||||
type: "getTerminalState";
|
||||
requestId: string;
|
||||
terminalId: string;
|
||||
}
|
||||
| {
|
||||
type: "captureTerminal";
|
||||
requestId: string;
|
||||
@@ -105,11 +115,6 @@ export type TerminalWorkerEvent =
|
||||
terminalId: string;
|
||||
message: ServerMessage;
|
||||
}
|
||||
| {
|
||||
type: "terminalStateUpdated";
|
||||
terminalId: string;
|
||||
state: TerminalState;
|
||||
}
|
||||
| {
|
||||
type: "terminalExit";
|
||||
terminalId: string;
|
||||
@@ -136,3 +141,4 @@ export type TerminalWorkerEvent =
|
||||
export type TerminalWorkerToParentMessage = TerminalWorkerResponse | TerminalWorkerEvent;
|
||||
|
||||
export type TerminalWorkerCaptureResult = CaptureTerminalLinesResult;
|
||||
export type TerminalWorkerStateResult = TerminalStateSnapshot | null;
|
||||
|
||||
Reference in New Issue
Block a user