DVUI

animateSplit

Parameters

#
self:*PanedWidget
*PanedWidget
end_val:f32
f32

Source

Implementation

#
pub fn animateSplit(self: *PanedWidget, end_val: f32) void {
    dvui.animation(self.data().id, "_split_ratio", dvui.Animation{ .start_val = self.split_ratio.*, .end_val = end_val, .end_time = 250_000 });
}