Closed
Description
Some times a code-server editor is a part of dev flow.
After 3.9.2, there's no way for an extension to redirect the current tab to another URL.
Before that, we can use --home
flag to specify a URL then use workbench.actions.goHome
command to redirect current tab.
Seeing the removal of Go Home
menu, but want to keep add back the ability to redirect current tab to another URL.
Since code-server always runs in a browser, I think it's reasonable for this feature.
Related issue: #3237