widelands-dev team mailing list archive
-
widelands-dev team
-
Mailing list archive
-
Message #13483
[Merge] lp:~widelands-dev/widelands/bug-1656245-scrollbar-mousewheel into lp:widelands
GunChleoc has proposed merging lp:~widelands-dev/widelands/bug-1656245-scrollbar-mousewheel into lp:widelands.
Commit message:
Fix mousewheel speed for listselect
Requested reviews:
Widelands Developers (widelands-dev)
Related bugs:
Bug #1656245 in widelands: "Scrolling with mousewheel is slow in some places"
https://bugs.launchpad.net/widelands/+bug/1656245
For more details, see:
https://code.launchpad.net/~widelands-dev/widelands/bug-1656245-scrollbar-mousewheel/+merge/346445
--
Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/bug-1656245-scrollbar-mousewheel into lp:widelands.
=== modified file 'src/ui_basic/listselect.cc'
--- src/ui_basic/listselect.cc 2018-05-13 07:15:39 +0000
+++ src/ui_basic/listselect.cc 2018-05-22 07:29:28 +0000
@@ -286,6 +286,7 @@
scrollbar_.set_size(scrollbar_.get_w(), get_h());
scrollbar_.set_pos(Vector2i(get_w() - Scrollbar::kSize, 0));
scrollbar_.set_pagesize(get_h() - 2 * get_lineheight());
+ scrollbar_.set_singlestepsize(get_lineheight());
const int steps = entry_records_.size() * get_lineheight() - get_h();
scrollbar_.set_steps(steps);
if (scrollbar_.is_enabled() && selection_mode_ == ListselectLayout::kDropdown) {
Follow ups