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.

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

Add keyboard input #62

Open
SReichelt opened this issue May 23, 2020 · 0 comments
Open

Add keyboard input #62

SReichelt opened this issue May 23, 2020 · 0 comments
Labels
component: gui Issue concerns the web-based user interface enhancement New feature or request good first issue Good for newcomers

Comments

@SReichelt
Copy link
Owner

Currently, many operations in the GUI require the mouse (when using a desktop computer). Ideally, the keyboard should always be an alternative, at least for the most common workflows.

Most importantly, when entering parameters, menus should open automatically and react to keyboard input, to avoid having to constantly switch between mouse and keyboard.

This should work both in the web GUI and in the webview of the VSCode extension.

@SReichelt SReichelt added enhancement New feature or request good first issue Good for newcomers component: gui Issue concerns the web-based user interface labels May 23, 2020
@SReichelt SReichelt added this to the 4. Efficient proof input milestone May 23, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
component: gui Issue concerns the web-based user interface enhancement New feature or request good first issue Good for newcomers
Projects
None yet
Development

No branches or pull requests

1 participant