2020-03-19 09:30:54 +01:00
|
|
|
/// A divider that splits a region in a [`PaneGrid`] into two different panes.
|
|
|
|
|
///
|
|
|
|
|
/// [`PaneGrid`]: struct.PaneGrid.html
|
2020-03-14 06:35:43 +01:00
|
|
|
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
|
|
|
|
|
pub struct Split(pub(super) usize);
|