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)...?


Rosegarden-user mailing list - use the link below to unsubscribe

Reply via email to