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

Several items in the preferences can be set to the same shortcut #516

Closed
ASauer opened this issue Sep 20, 2012 · 1 comment
Closed

Several items in the preferences can be set to the same shortcut #516

ASauer opened this issue Sep 20, 2012 · 1 comment
Assignees
@jleben
Labels
enhancement env: SCIDE
Milestone
3.6

Comments

@ASauer
Copy link

ASauer commented Sep 20, 2012

Arthur:
It is possible to set several items in the Preferences to the same shortcut. It does not crash SuperCollider, but I think you should get a warning.

Tim:
iirc there is a message on the terminal, but i agree that it should be more visible.
@ghost ghost assigned jleben Sep 27, 2012
@timblechmann timblechmann mentioned this issue Oct 3, 2012
Closed
@jleben
Copy link
Member

jleben commented Oct 4, 2012

Warning and shortcut override implemented.

@jleben jleben closed this as completed Oct 4, 2012
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jleben jleben

Labels
enhancement env: SCIDE
Projects
None yet
Milestone
3.6
Development

No branches or pull requests
2 participants
@jleben @ASauer