The options to create a stdin widget.

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

Properties

The kernel future associated with the request.

inputHistoryScope?: "session" | "global"

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.

showInputPlaceholder?: boolean

Show placeholder text

translator?: ITranslator

Translator