Replies: 1 comment 3 replies
-
Hey @lqd1434, no I don't think there's a way to do that right now. VS Code allows to restart the whole extension host, because it's architecturally pretty much impossible to restart specific plugins, as they all run in the same process. We don't even have the ability to restart the extension host right now. What is your use case for that? Maybe there's a different way of accomplishing what you're trying to do. |
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
-
Is there a way to restart a specific plugin in theia ?
like i can undeploy it and then deploy it
Beta Was this translation helpful? Give feedback.
All reactions