Stuck trigger when double-pulse()d from Python

I’m experiencing a bug on Windows 11 with TD version 2025.33070 wherein my triggers get stuck in the pressed state when trigger.pulse() is called twice in one frame. I’ve got a minimal test case attached which demonstrates it - just press the button and see the trigger “Push” button get stuck in the down position. It’s possible that it happens with other pulsed things too, this is just what I’m hitting specifically.

stuck trigger.toe (4.7 KB)

I’ve found a reliable work-around for this:

trigger = op('trigger').par.trigger

if not trigger.eval():
	trigger.pulse()

Thanks we’re having a look!