Is there a way to make the widget enlarge when touched (and then return to normal size on release)?

[GeneralMidi]

Button turns into fader

Well it seems the trick doesn't work on touch devices. Here's another one: faderZoom2.json (3.8 KB): 1 small fader 1 big fader whose visibility depends on a variable widget 1 variable widget, updated using the small fader's scripting