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

allow Ctrl+Shift+I to open developer tools #998

Open
dave-doty opened this issue Sep 22, 2024 · 1 comment · Fixed by #1006
Open

allow Ctrl+Shift+I to open developer tools #998

dave-doty opened this issue Sep 22, 2024 · 1 comment · Fixed by #1006
Assignees
Labels
bug Something isn't working closed in dev Indicates issue is closed in the dev branch, available at: https://scadnano.org/dev/

Comments

@dave-doty
Copy link
Member

I think I may have added something to keyboard handlers recently that prevents Ctrl+Shift+I from openning developer tools in the browser. It works on other websites but not scadnano locally or on the current (Sept. 21, 2024) dev branch.

@beanbeanjuice
Copy link
Contributor

Upon further testing, this issue appears only when the Select (S) and Rope Select (R) tools are selected. This is because of the select-mode div.

beanbeanjuice added a commit that referenced this issue Oct 25, 2024
…ctrl+shift+i-to-open-developer-tools

Fixed #998 - Fixed a boolean logic error on line 646 of design.dart
@beanbeanjuice beanbeanjuice added the closed in dev Indicates issue is closed in the dev branch, available at: https://scadnano.org/dev/ label Oct 25, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working closed in dev Indicates issue is closed in the dev branch, available at: https://scadnano.org/dev/
Projects
None yet
3 participants