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 Rosegardenemail@example.com - use the link below to unsubscribe https://lists.sourceforge.net/lists/listinfo/rosegarden-user