me/iced
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Fix height of vertical scroller in Scrollbar

Browse source
This commit is contained in:
Héctor Ramón Jiménez 2023-09-14 22:59:02 +02:00
parent bebb2b0252
commit ed11b04f60
No known key found for this signature in database
GPG key ID: 7CC46565708259A7
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
widget/src/scrollable.rs
View file

@ -1364,15 +1364,15 @@ impl Scrollbars {
let ratio = bounds.height / content_bounds.height; let ratio = bounds.height / content_bounds.height;
// min height for easier grabbing with super tall content // min height for easier grabbing with super tall content
let scroller_height = (bounds.height * ratio).max(2.0); let scroller_height = (scrollbar_bounds.height * ratio).max(2.0);
let scroller_offset = translation.y * ratio; let scroller_offset =
translation.y * ratio * scrollbar_bounds.height / bounds.height;
let scroller_bounds = Rectangle { let scroller_bounds = Rectangle {
x: bounds.x + bounds.width x: bounds.x + bounds.width
- total_scrollbar_width / 2.0 - total_scrollbar_width / 2.0
- scroller_width / 2.0, - scroller_width / 2.0,
y: (scrollbar_bounds.y + scroller_offset - x_scrollbar_height) y: (scrollbar_bounds.y + scroller_offset).max(0.0),
.max(0.0),
width: scroller_width, width: scroller_width,
height: scroller_height, height: scroller_height,
}; };