The options to create a stdin widget.

interface IOptions {
    future: IShellFuture<IShellMessage<ShellMessageType>, IShellMessage<ShellMessageType>>;
    inputHistoryScope?: "global" | "session";
    parent_header: IHeader<"input_request">;
    password: boolean;
    prompt: string;
    translator?: ITranslator;
}

Properties

The kernel future associated with the request.

inputHistoryScope?: "global" | "session"

Whether to split stdin line history by kernel session or keep globally accessible.

parent_header: IHeader<"input_request">

The header of the input_request message.

password: boolean

Whether the input is a password.

prompt: string

The prompt text.

translator?: ITranslator

Translator