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

Add a setting menu on left-side-bar-bottom #8226

Closed
datou0412 opened this issue Jul 23, 2020 · 1 comment · Fixed by #8372
Closed

Add a setting menu on left-side-bar-bottom #8226

datou0412 opened this issue Jul 23, 2020 · 1 comment · Fixed by #8372
Labels
enhancement issues that are enhancements to current functionality - nice to haves help wanted issues meant to be picked up, require help preferences issues related to preferences

Comments

@datou0412
Copy link
Contributor

Feature Description:

Theia's setting menu is placed as a submenu of file menu. Its too deep for users to find and operate
image

VSCode placed its setting menu on the left sidebar bottom, its easier for users to notice
image
@bowei-jbw
Copy link

+1

@kittaakos kittaakos added the enhancement issues that are enhancements to current functionality - nice to haves label Jul 23, 2020
@akosyakov akosyakov added help wanted issues meant to be picked up, require help preferences issues related to preferences labels Jul 27, 2020
@datou0412 datou0412 mentioned this issue Aug 13, 2020
Merged
1 task
akosyakov pushed a commit that referenced this issue Aug 26, 2020
@datou0412 @akosyakov
fix #8226: support sidebar bottom menu and add settings menu to the left
d7f9163 
Signed-off-by: 二凢 <dingyu.wdy@alibaba-inc.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement issues that are enhancements to current functionality - nice to haves help wanted issues meant to be picked up, require help preferences issues related to preferences
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

fix #8226: Add a settings menu on left sidebar bottom
4 participants
@kittaakos @akosyakov @datou0412 @bowei-jbw