Skip to content

adding the ability to redirect current tab to another URL/link #3363

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
futurist opened this issue May 12, 2021 · 1 comment
Closed

adding the ability to redirect current tab to another URL/link #3363

futurist opened this issue May 12, 2021 · 1 comment
Labels
feature New user visible feature

Comments

@futurist
Copy link

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

@futurist futurist added the feature New user visible feature label May 12, 2021
@code-asher code-asher added this to the Backlog Candidates milestone May 12, 2021
@futurist futurist changed the title adding the ability to redirect current tab to another URL adding the ability to redirect current tab to another URL/link Sep 30, 2021
@stale
Copy link

stale bot commented Mar 29, 2022

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no activity occurs in the next 5 days.

@stale stale bot added the stale label Mar 29, 2022
@stale stale bot closed this as completed Apr 3, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
feature New user visible feature
Projects
None yet
Development

No branches or pull requests

2 participants