Archived
fix(plugins): preserve deprecated panel terminal alias
This commit is contained in:
@@ -943,6 +943,7 @@ export class PiWebApp extends LitElement {
|
||||
open: (options) => { void this.openRuntimeTerminal(machineId, workspace, options); },
|
||||
runCommand: (input) => terminalCommandRuns.runCommand({ ...input, workspace }),
|
||||
},
|
||||
openTerminal: (options) => { void this.openRuntimeTerminal(machineId, workspace, options); },
|
||||
host: this.createWorkspaceHost(),
|
||||
piWebUnstable: { terminalCommandRuns },
|
||||
fileTree: this.state.fileTree,
|
||||
|
||||
@@ -131,6 +131,11 @@ export interface QualifiedPluginAction extends AppAction {
|
||||
|
||||
export interface WorkspacePanelContext extends WorkspaceContext {
|
||||
terminal: WorkspacePanelTerminal;
|
||||
/**
|
||||
* @deprecated Runtime-only compatibility alias for pre-v2 plugins. Use `terminal.open()` instead.
|
||||
* This is intentionally not part of the public `@jmfederico/pi-web/plugin-api` declarations.
|
||||
*/
|
||||
openTerminal?: (options?: { terminalId?: string | undefined }) => void;
|
||||
piWebUnstable?: Pick<PiWebUnstableRuntimeContext, "terminalCommandRuns">;
|
||||
fileTree: FileTreeEntry[];
|
||||
expandedDirs: Record<string, FileTreeEntry[]>;
|
||||
|
||||
Reference in New Issue
Block a user