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