diff options
| author | Ivan Molodetskikh <yalterz@gmail.com> | 2025-02-06 08:42:09 +0300 |
|---|---|---|
| committer | Ivan Molodetskikh <yalterz@gmail.com> | 2025-02-10 07:29:33 -0800 |
| commit | 8f9e0d029c84f6a15c842c3bccd694fac0516c0a (patch) | |
| tree | 0d26dac9ac4b9519b6a0f3f39010f56a354e67a7 /src/layout/tests.rs | |
| parent | 90f24da6317dea022fff89d538c9ba21a580e97b (diff) | |
| download | niri-8f9e0d029c84f6a15c842c3bccd694fac0516c0a.tar.gz niri-8f9e0d029c84f6a15c842c3bccd694fac0516c0a.tar.bz2 niri-8f9e0d029c84f6a15c842c3bccd694fac0516c0a.zip | |
Add set-column-display action
Diffstat (limited to 'src/layout/tests.rs')
| -rw-r--r-- | src/layout/tests.rs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/layout/tests.rs b/src/layout/tests.rs index d9ac64c2..8f3e4d58 100644 --- a/src/layout/tests.rs +++ b/src/layout/tests.rs @@ -320,6 +320,10 @@ fn arbitrary_scroll_direction() -> impl Strategy<Value = ScrollDirection> { prop_oneof![Just(ScrollDirection::Left), Just(ScrollDirection::Right)] } +fn arbitrary_column_display() -> impl Strategy<Value = ColumnDisplay> { + prop_oneof![Just(ColumnDisplay::Normal), Just(ColumnDisplay::Tabbed)] +} + #[derive(Debug, Clone, Copy, Arbitrary)] enum Op { AddOutput(#[proptest(strategy = "1..=5usize")] usize), @@ -407,6 +411,7 @@ enum Op { ExpelWindowFromColumn, SwapWindowInDirection(#[proptest(strategy = "arbitrary_scroll_direction()")] ScrollDirection), ToggleColumnTabbedDisplay, + SetColumnDisplay(#[proptest(strategy = "arbitrary_column_display()")] ColumnDisplay), CenterColumn, CenterWindow { #[proptest(strategy = "proptest::option::of(1..=5usize)")] @@ -971,6 +976,7 @@ impl Op { Op::ExpelWindowFromColumn => layout.expel_from_column(), Op::SwapWindowInDirection(direction) => layout.swap_window_in_direction(direction), Op::ToggleColumnTabbedDisplay => layout.toggle_column_tabbed_display(), + Op::SetColumnDisplay(display) => layout.set_column_display(display), Op::CenterColumn => layout.center_column(), Op::CenterWindow { id } => { let id = id.filter(|id| layout.has_window(id)); |
