[bug] Add a button to restart dev server #2749
Description
Describe the bug
Right now we have it as a tool but we should have better control of the dev server.
{{ message }}
Right now we have it as a tool but we should have better control of the dev server.