timer
Parameters
- self:*Self
- *Self
- id:Id
- Id
- micros:i32
- i32
Source
Implementation
pub fn timer(self: *Self, id: Id, micros: i32) void {
// when start_time is in the future, we won't spam frames, so this will
// cause a single frame and then expire
const a = Animation{ .start_time = micros, .end_time = micros };
const h = id.update("_timer");
self.animations.put(self.gpa, h, a) catch |err| {
dvui.logError(@src(), err, "Could not add timer for {x}", .{id});
};
}