DVUI

defaults

Source

Implementation

#
pub var defaults: Options = .{
    .name = "GridWidget",
    .role = .grid,
    .background = true,
    .corners = .{
        .tl = .square,
        .tr = .square,
        .br = .default,
        .bl = .default,
    },
    // Small padding to separate first column from left edge of the grid
    .padding = .{ .x = 5 },
    .style = .content,
}