DVUI

add

Add a selection event.

Parameters

#
self:*SelectionInfo
*SelectionInfo
selection_id:usize
usize
selected:bool
bool
wd:*WidgetData
*WidgetData

Source

Implementation

#
pub fn add(self: *SelectionInfo, selection_id: usize, selected: bool, wd: *WidgetData) void {
        self.sel_events.append(
            dvui.currentWindow().arena(),
            .{ .selection_id = selection_id, .selected = selected, .screen_rect = wd.borderRectScale().r },
        ) catch |err| {
            dvui.logError(@src(), err, "Dropping selection event for selection_id {d}\n", .{selection_id});
        };
    }