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

Create new file when double click on the main-area or title bar #8916

Closed
DucNgn opened this issue Jan 4, 2021 · 0 comments · Fixed by #12867
Closed

Create new file when double click on the main-area or title bar #8916

DucNgn opened this issue Jan 4, 2021 · 0 comments · Fixed by #12867
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 Jan 4, 2021 •
edited
Loading

Feature Description:

  • Double-click on the tab bar opens a new editor.
untitledEditor.mp4
  • Double-click on the main-area opens up a new editor.
untitledEditor2.mp4

note:
@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 Jan 4, 2021
@KR155E KR155E mentioned this issue Aug 28, 2023
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.

Create new untitled file when double clicking on the main area or tabbar KR155E/theia
2 participants
@vince-fugnitto @DucNgn