checkbox_defaults
Source
Implementation
pub var checkbox_defaults: Options = .{
.name = "Checkbox",
.role = .check_box,
.corners = .all(2),
.padding = Rect.all(6),
}#
Source
pub var checkbox_defaults: Options = .{
.name = "Checkbox",
.role = .check_box,
.corners = .all(2),
.padding = Rect.all(6),
}