On Wed, 5 Jun 2024 14:47:55 GMT, Kevin Rushforth <k...@openjdk.org> wrote:
> This PR presupposes that the scroll bar size and content padding _should_ be > changed to be independent of the font size I disagree. The size of the UI elements enveloping a content area should not depend on the font size of the font used in that particular content area. It should depend on the base font size, yes - i.e. it should scale with the scaling of the base font. BTW, no other Control exhibits this behavior, as far as I know. ------------- PR Comment: https://git.openjdk.org/jfx/pull/1469#issuecomment-2150273865
