defaults

pub var defaults: Options = .{
    .name = "ScrollAreaWidget",
    .role = .scroll_view,
    .background = true,
    // generally the top of a scroll area is against something flat (like
    // window header), and the bottom is against something curved (bottom
    // of a window)
    .corners = .{
        .tl = .square,
        .tr = .square,
        .br = .default,
        .bl = .default,
    },
    .style = .window,
}