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 support for hiding the menu bar also on Linux #1563

Closed
ristomatti opened this issue Dec 22, 2015 · 0 comments
Closed

Add support for hiding the menu bar also on Linux #1563

ristomatti opened this issue Dec 22, 2015 · 0 comments
Assignees
@bpasero
Labels
feature-request Request for new features or functionality verified Verification succeeded
Milestone
Jan 2016

Comments

@ristomatti
Copy link
Contributor

Issue #945 was closed with commit c34d2e7. The commit added the requested option to add an option for toggling visibility of the main menu, but restricted it to be shown only when running the Windows version.

I can see why toggling the menu bar probably would either not work or just not make sense on OS X. Users running Linux window managers that have a menu bar per window would benefit from the setting as much as users of the Windows version though.
@ristomatti ristomatti mentioned this issue Dec 22, 2015
Merged
bpasero added a commit that referenced this issue Dec 22, 2015
@bpasero
Merge pull request #1564 from ristomatti/toggle-menu-linux
ac2e9dd 
Support menu bar visibility toggle also on Linux (fixes #1563)
@bpasero bpasero added the feature-request Request for new features or functionality label Dec 22, 2015
@bpasero bpasero added this to the Jan 2016 milestone Dec 22, 2015
@bpasero bpasero self-assigned this Dec 22, 2015
@egamma egamma mentioned this issue Jan 6, 2016
Closed
59 tasks
@egamma egamma mentioned this issue Feb 1, 2016
Closed
97 tasks
@bpasero bpasero added verified Verification succeeded and removed verified Verification succeeded labels Apr 29, 2016
@vscodebot vscodebot bot locked and limited conversation to collaborators Nov 18, 2017
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@bpasero bpasero

Labels
feature-request Request for new features or functionality verified Verification succeeded
Projects
None yet
Milestone
Jan 2016
Development

No branches or pull requests
2 participants
@bpasero @ristomatti