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

Position menus intelligently #77

Open
SReichelt opened this issue Aug 30, 2020 · 0 comments
Open

Position menus intelligently #77

SReichelt opened this issue Aug 30, 2020 · 0 comments
Labels
component: gui Issue concerns the web-based user interface good first issue Good for newcomers
Milestone
1. Web-based inpu...

Comments

@SReichelt
Copy link
Owner

Whenever a (top-level) menu is cut off on the right side, it should be moved to the left instead (according to its width, but never further than the left edge).
@SReichelt SReichelt added good first issue Good for newcomers component: gui Issue concerns the web-based user interface labels Aug 30, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
component: gui Issue concerns the web-based user interface good first issue Good for newcomers
Projects
None yet
Milestone
1. Web-based input of definitions and...
Development

No branches or pull requests
1 participant
@SReichelt