Today I got informed that the pulse-trigger ‘bug’ has been confirmed and has been forwarded to the developers. Let’s see what comes out of that.
Of course I replied and thanked them in advance.
I also hinted that they might have a look at the ‘Adjust’ button issue as well, which seems much easier to fix. It’s got a push-button, so why not have it take the current timebase value when you push it. That’s very quick to do and probably just a few lines of code.