From b95ec25dd8414efbcef53a5e0f21ffecc229a2dc Mon Sep 17 00:00:00 2001 From: Philipp Unger Date: Sat, 9 Apr 2022 16:17:47 +0200 Subject: [PATCH] migrate box scroll panel options to adw preferences group --- ui/BoxScrollPanelOptions.ui | 149 +++++++----------------------------- 1 file changed, 26 insertions(+), 123 deletions(-) diff --git a/ui/BoxScrollPanelOptions.ui b/ui/BoxScrollPanelOptions.ui index 95c7fd5..2354b76 100644 --- a/ui/BoxScrollPanelOptions.ui +++ b/ui/BoxScrollPanelOptions.ui @@ -9,143 +9,46 @@ - True - False vertical - 1 - 1 + 600 + 24 + 32 + 32 + 32 + 32 + - - True - False - none + + - - True - True + + Delay between mouse scroll events (ms) + Use this value to limit the number of captured mouse scroll events. - - True - False - 12 - 12 - 12 - 12 - 32 - - - True - True - end - center - 4 - 50 - scroll_panel_options_delay_adjustment - True - 50 - - 0 - 1 - 2 - - - - - - True - False - True - Delay between mouse scroll events (ms) - True - 0 - - 0 - 0 - - - - - - True - False - True - Use this value to limit the number of captured mouse scroll events. - True - 0 - - - 1 - 0 - - - + + center + 4 + 50 + scroll_panel_options_delay_adjustment + True + 50 + - - True - True + + Show popup when changing workspace + This affects workspace popup when scrolling on the panel only. - - True - False - 12 - 12 - 12 - 12 - 32 - - - True - False - True - Show popup when changing workspace - True - 0 - - 0 - 0 - - - - - - True - False - True - This affects workspace popup when scrolling on the panel only. - True - 0 - - - 1 - 0 - - - - - - True - True - end - center - - 0 - 1 - 2 - - - + + center +