What are my options for building REPL on Theia?

#1

I am building a REPL on Theia. I have already built the REPL by react + redux + ts + node as a web app.

Note that input and output has to be shown together. For example

EditorPanel:
`
input: 1 + 1

output: 2

`

I have a few options but I am not sure if they fit my goal:

  1. React Widget: I understand it can render react component, but I think react widgets refer to widgets that are rendered in the panel rather than editor.
  2. VS code Webview: it seems webview are limited by the vs code/theia in various ways.

Are there any other options for me? Any examples that I can learn from?

#2

Update: I found @theia/console which seems is the closest that I am looking for.

1 Like