/** * Wrapper around Notebook server terminal */ import postRobot from "post-robot"; import * as React from "react"; import * as DataModels from "../../../Contracts/DataModels"; import { TerminalProps } from "../../../Terminal/TerminalProps"; import { userContext } from "../../../UserContext"; import * as StringUtils from "../../../Utils/StringUtils"; export interface NotebookTerminalComponentProps { notebookServerInfo: DataModels.NotebookWorkspaceConnectionInfo; databaseAccount: DataModels.DatabaseAccount; } export class NotebookTerminalComponent extends React.Component { private terminalWindow: Window; constructor(props: NotebookTerminalComponentProps) { super(props); } componentDidMount(): void { this.sendPropsToTerminalFrame(); } public render(): JSX.Element { return (