Scrollbars are currently based on a 0-1 scroll value.
This is ridiculously bad for many reasons, the main one being loss of precision for big ratios.
A scrollbar should have three parameters instead, similar to how Windows does it:
unit: integer, -- current unit index
units: integer, -- total unit count
unit_size: integer, -- size of one unit in screen pixels
Where "unit" usually just means line. I propose unit instead of line because we also have horizontal scrollbars which scroll by character, not line.
Scrollbars are currently based on a 0-1 scroll value.
This is ridiculously bad for many reasons, the main one being loss of precision for big
ratios.A scrollbar should have three parameters instead, similar to how Windows does it:
Where "unit" usually just means line. I propose unit instead of line because we also have horizontal scrollbars which scroll by character, not line.