Customizable keyboard shortcuts


#1

There should be a way to add custom keyboard shortcuts to ALL of the buttons (case in point: record button), in addition to some of the preferences (such as light/dark mode).

Something kind of trivial, but it would speed up my workflow a lot.


#2

Hi,

unfortunately this isn’t at all trivial to implement and is quite far down my TODO list. If you’d like to see this happen, please do consider contributing it yourself - or finding a way to get someone else to help contribute it. Sadly, my resources to continue working on Sonic Pi run out in a few months.


#3

Fair enough – To be totally honest, I really just need something for the record button, and while I’m not a “hardcore” programmer, I will see what I can do.

And I didn’t mean trivial to implement, just that it’s not a super-important or even moderately important feature to me