Replies: 1 comment 3 replies
-
Well, combining input/output from the backend shell and Theia is always a bit more involved, as everything is running in separate processes. Gitpod (who were using Theia as their default IDE until April) used a custom Theia extension that send a notification to the frontend anytime a new port opens, which looks like this: I imagine it doesn't make a whole lot of sense to implement this feature for certain scripts/apps. Rather, one should implement it on a container level for all ports. |
Beta Was this translation helpful? Give feedback.
3 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
It would be great that the Mini browser could be opened from the Terminal.
For example when starting a
react-scripts
project, Chrome open automatically tolocalhost:3000
. I am trying to find a way to open the Mini browser instead of Chrome so users can have a browser side by side to their code with hot reload functionality.I know that I can input the url in
Preview: Open URL
, but I would like this to be done automatically.I tried to see how
open
works (the npm thatreact-scripts
uses) but I didn't have any luck in trying to bind that to Mini browser.If this can be done, I would happily contribute to the extension to make it work.
Beta Was this translation helpful? Give feedback.
All reactions