DVUI

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});
    };
}