Open sanhozay opened 3 years ago
This was the solution I proposed, which is not working:
setlistener("sim/speed-up", func(node) {
if (int(node.getValue()) != 1) {
# Allow accidental speed up, as long as it is reverted
# within a short timeframe
var t = maketimer(5, func {
if (int(node.getValue()) != 1)
invalidate("Simulation+speed+was+changed");
});
t.singleShot = 1;
t.start();
}
}, startup=0, runtime=0);
Allow a grace period on accidental time warp, in the same way as is already provided for pause.