On Sun, 21 Jan 2024 00:39:38 GMT, Sergey Bylokhov <[email protected]> wrote:
> > Also, it might be the case the scrollbar methods like getUnitIncrement, > > scrollBar.getValue scrollbar.setValue setThumbBounds sets or returns or > > uses integer value despite scale being non-integer, so I guess repainting > > dirty region should be done to refresh the artifacts > > But in the fix and in the places you pointed out we also use the int values, > so why is the bug reproduced only when the float scale is used? Because float scale results in fractional pixels? If the scale is 1.25, then 1 pixel is 1.25 physical pixels; 2 pixels are 2.5 physical pixels and so on. ------------- PR Comment: https://git.openjdk.org/jdk/pull/17484#issuecomment-1904501940
