Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Pin editor in tab-bar #9326

Closed
DucNgn opened this issue Apr 10, 2021 · 0 comments · Fixed by #10817
Closed

Pin editor in tab-bar #9326

DucNgn opened this issue Apr 10, 2021 · 0 comments · Fixed by #10817
Labels
editor issues related to the editor enhancement issues that are enhancements to current functionality - nice to haves help wanted issues meant to be picked up, require help

Comments

@DucNgn
Copy link
Contributor

DucNgn commented Apr 10, 2021

Feature Description:

  • As a user, sometimes I would like to pin editors in the tab-bar so I don't accidentally close it later.
  • Once an editor was pinned, triggering the keyboard shortcut cmd+w won't close the editor. To close the editor, users need to explicitly toggle back to 'unpin' mode by either clicking on the tab editor or using a keyboard shortcut.

Additional info:

  • vscode uses the keyboard shortcut: cmd+kshift+enter to toggle pin mode of an editor.
  • pinned editor (with a pin icon) vs normal editor in vscode:
    image
@vince-fugnitto vince-fugnitto added editor issues related to the editor enhancement issues that are enhancements to current functionality - nice to haves help wanted issues meant to be picked up, require help labels Apr 12, 2021
@dsseng dsseng mentioned this issue Jun 20, 2021
Closed
1 task
@colin-grant-work colin-grant-work mentioned this issue Feb 28, 2022
Merged
1 task
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
editor issues related to the editor enhancement issues that are enhancements to current functionality - nice to haves help wanted issues meant to be picked up, require help
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Add Pinned Tabs colin-grant-work/theia
Add ability to pin tabs dsseng/theia
2 participants
@vince-fugnitto @DucNgn