From e4190415d05e3eea8ae7dc8d6e06918335219cbc Mon Sep 17 00:00:00 2001 From: Philipp Unger Date: Wed, 6 Apr 2022 22:08:20 +0200 Subject: [PATCH] migrate scroll icon options box dialog --- prefs.js | 1 + ui/ScrollIconOptionsBox.ui | 92 ++++++++++++++++++++++++++++++++++++++ 2 files changed, 93 insertions(+) create mode 100644 ui/ScrollIconOptionsBox.ui diff --git a/prefs.js b/prefs.js index 584e104..32cf89d 100644 --- a/prefs.js +++ b/prefs.js @@ -179,6 +179,7 @@ const Preferences = class { this._builder.add_from_file(Me.path + '/ui/BoxOverlayShortcut.ui'); this._builder.add_from_file(Me.path + '/ui/BoxSecondaryMenuOptions.ui'); this._builder.add_from_file(Me.path + '/ui/ScrollPanelOptionsBox.ui'); + this._builder.add_from_file(Me.path + '/ui/ScrollIconOptionsBox.ui'); // pages this._builder.add_from_file(Me.path + '/ui/SettingsPosition.ui'); diff --git a/ui/ScrollIconOptionsBox.ui b/ui/ScrollIconOptionsBox.ui new file mode 100644 index 0000000..27af04e --- /dev/null +++ b/ui/ScrollIconOptionsBox.ui @@ -0,0 +1,92 @@ + + + + + + 2000 + 10 + 50 + + + + True + False + vertical + 1 + 1 + + + True + False + none + + + True + True + + + True + False + 12 + 12 + 12 + 12 + 32 + + + True + True + end + center + 4 + 50 + scroll_icon_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 + + + + + + + + + + + + \ No newline at end of file