Wouter Walmink

Happy to elaborate! Using the "global" shortcut to update all buttons would mean you can change a bunch of button labels and then update them all at once, without a...

Yup, if you don't have a sure way of identifying buttons, then it's not possible for now. I'll have a look if there is a plugin to select one symbol...

Hm, that's pretty cool, but also a little hard to predict, as the user cannot see which buttons have or haven't been triggered before. Limiting it to symbols (of which...