research/statebuddy
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

add check

Browse source
This commit is contained in:
Joeri Exelmans 2025-10-19 15:15:05 +02:00
parent 5e60b3dc95
commit 5bd886b930
1 changed files with 10 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

18
src/App/TopPanel.tsx
View file

@ -172,14 +172,16 @@ export function TopPanel({rt, rtIdx, time, setTime, onInit, onClear, onRaise, on
function onSkip() {
const now = performance.now();
setTime(time => {
if (time.kind === "paused") {
return {kind: "paused", simtime: nextTimedTransition[0]};
}
else {
return {kind: "realtime", scale: time.scale, since: {simtime: nextTimedTransition[0], wallclktime: now}};
}
});
if (nextTimedTransition) {
setTime(time => {
if (time.kind === "paused") {
return {kind: "paused", simtime: nextTimedTransition[0]};
}
else {
return {kind: "realtime", scale: time.scale, since: {simtime: nextTimedTransition[0], wallclktime: now}};
}
});
}
}
function onSlower() {