refreshWindow

called from gui thread

Parameters

self:*Self: *Self
src:std.builtin.SourceLocation: std.builtin.SourceLocation
id:?Id: ?Id

Source

Implementation

pub fn refreshWindow(self: *Self, src: std.builtin.SourceLocation, id: ?Id) void {
    if (dvui.debug.logRefresh(null)) {
        log.debug("{s}:{d} refresh {?x}", .{ src.file, src.line, id });
    }
    self.extra_frames_needed = 1;
}