On 4/2/19 9:32 PM, Ted Felix wrote:

   I'm thinking Ctrl+Space is probably the way to go.  Any concerns?

I recommend leaving "Media Record" as one of the alternatives. Through no real desire or intention of my own, all of my keyboards have this key, and it works fine as is. It ain't broke, but that doesn't mean we shouldn't add a more vanilla alternative. Ctrl+Space seems fine.

D. Michael McIntyre

Rosegarden-user mailing list
Rosegarden-user@lists.sourceforge.net - use the link below to unsubscribe

Reply via email to