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

keybinds does not work in floating tabs #17

Closed
sillydan1 opened this issue Oct 28, 2023 · 1 comment
Closed

keybinds does not work in floating tabs #17

sillydan1 opened this issue Oct 28, 2023 · 1 comment
Assignees
@sillydan1
Labels
bug Something isn't working

Comments

@sillydan1
Copy link
Owner

Reproduction Steps

  • Create new model file
  • Open the new model file
  • Switch to Petrinet syntax
  • Check that keys 1 and 2 will switch between place and transition vertex choices
  • Pull tab into a new window
  • The keybinds will not work anymore

See #16 (comment) for more detail
@sillydan1 sillydan1 added the bug Something isn't working label Oct 28, 2023
@sillydan1
Copy link
Owner Author

This is not only for petrinet syntax. It also affects e.g. pressing delete in a floating tab

@sillydan1 sillydan1 changed the title Petrinet syntax: keybinds does not work in floating tabs keybinds does not work in floating tabs Dec 5, 2023
@sillydan1 sillydan1 self-assigned this Mar 2, 2024
sillydan1 added a commit that referenced this issue Mar 9, 2024
@sillydan1
Merge pull request #48 from sillydan1/bugfix/keybinds-on-flt-tabs-#17
e5d6966 
Bugfix/keybinds on flt tabs #17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@sillydan1 sillydan1

Labels
bug Something isn't working
Projects
Graphedit
Archived in project
Milestone
No milestone
Development

No branches or pull requests
1 participant
@sillydan1