gridHeadingSeparator

Create either a draggable separator (resize_options != null) or a standard separator (resize_options = null) for a grid heading.

Parameters

resize_options:?GridWidget.HeaderResizeWidget.InitOptions: ?GridWidget.HeaderResizeWidget.InitOptions

Source

Implementation

pub fn gridHeadingSeparator(resize_options: ?GridWidget.HeaderResizeWidget.InitOptions) void {
    if (resize_options) |resize_opts| {
        var handle: GridWidget.HeaderResizeWidget = .init(
            @src(),
            .vertical,
            resize_opts,
            .{ .gravity_x = 1.0 },
        );
        handle.install();
        handle.processEvents();
        handle.deinit();
    } else {
        _ = separator(@src(), .{ .expand = .vertical, .gravity_x = 1.0 });
    }
}