Make Slider UI elements larger when widget size increases

[georgweiss]

The Scaled Slider widget relies on the native JavaFX Slider. On high resolution monitors the default size of the track and knob may become a bit too small. While increasing the font is supported in the widget, other UI elements stay at their defaults even if widget is made taller/wider.

This PR adds a bit of logic to increase the width of the track, the size of the knob and the length of the major tick marks when user increases the height (horizontal) or width (vertical) of the widget. Unfortunately I was not able to figure out how to also make minor tick marks longer.

A minimum and maximum is applied to keep this reasonably useful:

Decided that new widget properties for track, knob and major tick mark dimensions would be an overkill.

• Testing:

  • The feature has automated tests
  • Tests were run
  • If not, explain how you tested your changes

• Documentation:

  • The feature is documented
  • The documentation is up to date
  • Release notes:
    • Added an entry if the change is breaking or significant
    • Added an entry when adding a new feature

[kasemir]

Sad to see how carefully aligned code, typed by a human with pride in his/her work like this:

... is replaced by mechanical formatting like this:

After all, this PR is all about cosmetics, the size of a slider button, so style does seem to matter at some level.

Still, I like the end result, so whatever

[georgweiss]

@kasemir, sorry for hurting your pride. I will revert.

[sonarqubecloud]

Quality Gate passed

Issues
14 New issues
0 Accepted issues

Measures
0 Security Hotspots
0.0% Coverage on New Code
0.0% Duplication on New Code

See analysis details on SonarQube Cloud