Animations now have an easing/ease_rate setting that will do a dynamic scaling effect on them during the animation sequence.

This commit is contained in:
Zed A. Shaw 2025-03-01 00:24:19 -05:00
parent 6e363ba78d
commit 033358749f
8 changed files with 42 additions and 14 deletions

View file

@ -20,7 +20,7 @@ namespace dbc {
class PostCondError : public Error {};
void log(const string &message);
void sentinel(const string &message);
[[noreturn]] void sentinel(const string &message);
void pre(const string &message, bool test);
void pre(const string &message, std::function<bool()> tester);
void post(const string &message, bool test);