editor fixes

This commit is contained in:
2023-04-28 17:49:18 +00:00
parent 02707a9ada
commit 8ca1ab4384
16 changed files with 190 additions and 97 deletions

View File

@@ -21,7 +21,7 @@ void check_timer(struct timer *t, double dt)
return;
}
t->on = 0;
timer_pause(t);
return;
}
}