DVUI

Parameters

#
self:*HeaderResizeWidget
*HeaderResizeWidget

Source

Implementation

#
pub fn deinit(self: *HeaderResizeWidget) void {
        dvui.dataSet(null, self.data().id, "_offset", self.offset);
        self.data().minSizeSetAndRefresh();
        self.data().minSizeReportToParent();
        self.* = undefined;
    }