Add a Number Slider with a Text Box

[TheTripleV]

trafficstars

GRIP should have a combo NumberListRangeSocket / NumberSpinnerSocket.

Using a NumberListRangeSocket is great for allowing users to visually see changes as input values change. However, for large ranges (and low screen resolutions), fine tuning may be difficult.

Use cases

• Find Blobs: A slider can be used to change area and a number box can be used to fine tune
• Cropping: A slider can be used to set the x, y, width, and height (roughly) and a number box can be used to fine tune

[JLLeitschuh]

We'd welcome PR's to support this. I think that the most skilled JavaFX developer who could possibly make this work would be @SamCarlberg.

Other than that, I'm generally just pulling components from ControlsFX.