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

👩‍💻 F12 alternative #73

Open
asmaamirkhan opened this issue Feb 11, 2021 · 2 comments
Open

👩‍💻 F12 alternative #73

asmaamirkhan opened this issue Feb 11, 2021 · 2 comments
Labels
enhancement New feature or request

Comments

@asmaamirkhan
Copy link

Hello there 🙋,

Firstly, thank you for the great project! 🎉

  • 🤔 I just wanted to ask if there is an alternative for F12 shortcut to go to defination
  • 👩‍💻 Current behavior: F12 is reserved for browser to open developer settings

Thank you in advance 🦋
@oslTrifork
Copy link

oslTrifork commented Feb 11, 2021 •
edited
Loading

This is the same for all shortcuts (that is also used by the browser) it seems, the proper solution would be to ignore the default event, so that one can navigate the interface using the correct shortcuts.

@xcv58 xcv58 added the enhancement New feature or request label Feb 11, 2021
@JammSpread
Copy link

Might be related to #43 and be fixed by a PWA.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@xcv58 @oslTrifork @asmaamirkhan @JammSpread