The tooltip suggests that this is 'media record' which I assume must be some weird key on 'multimedia keyboards'. Is there a relatively easy way to change this? IIRC now keyboard shortcuts are hardcoded somewhere while once they used to be editable.

In this case I think the default should be changed to something more sane such as SHIFT+R or maybe CTRL+R (as the play shortcut is CTRL + Enter)...?

Lorenzo.


_______________________________________________
Rosegarden-user mailing list
Rosegarden-user@lists.sourceforge.net - use the link below to unsubscribe
https://lists.sourceforge.net/lists/listinfo/rosegarden-user

Reply via email to