RFR: 8314683: TextArea: scroll bar size and content padding

[Andy Goryachev]

On Wed, 5 Jun 2024 14:47:55 GMT, Kevin Rushforth <kcr at 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