Constant rg3d_ui::dock::DEFAULT_SPLITTER_SIZE[−][src]

pub const DEFAULT_SPLITTER_SIZE: f32 = 4.0;