Terminal
<Terminal> — an in-browser terminal. mode is repl (default), cli or show. seed is a JSON array of lines to run on mount; examples (default on) shows the dropdown + Play/Clear toolbar. In show mode, value is the expression and env the environment it is shown for (tty by default).
Props
| Prop | Type | Default | Notes |
|---|---|---|---|
mode | "repl" | "cli" | "show" | "repl" | repl for the interactive session, cli for the command-line transcript, show for one expression.reflects |
value | string | "" | In show mode, the expression, in Epsil. |
env | string | "tty" | In show mode, the environment it is shown for: tty or pipe. |
seed | string | "" | A JSON array of input lines to run on load. |
examples | boolean | true | Show the example picker beside the terminal. |
As a web component
Plain custom elements, no framework required: import @enumeratio/frontend for the side effect and write <notatio-terminal> in any HTML. Attributes are kebab-case and always strings; the props table above names each one's attribute where it differs from its prop.