Fix scrollbar thumb jumping

[PavelTurk]

This issue has been already discussed and it was noted, as I remember, that this jumping was a result of fixing another issue.

I suggest to fix this issue again, because thumb jumping is a very serious problem. Why? Because users see it, and they don't understand it. Some of them are laughing at it. All of this has a significant impact on the image of the product where RichTextFX is used. Therefore, I consider it necessary to fix this bug, as I believe it is a thousand times more important than bugs that are not as obvious to users.

[PavelTurk]

I found this is flowless bug, see FXMisc/Flowless#124

[Jugen]

I'm thinking of replacing Flowless with VirtualFlow, not sure if it's feasible - just an idea at this stage .....
If you have time maybe you can look into it as well ?

[PavelTurk]

@Jugen I've started using JavaFX VirtualFlow. From my experience it works, but it doesn't support policies for scrollbar. By other words, by default they are always visible (when view port > node size), see https://bugs.openjdk.org/browse/JDK-8091884 . The only solution to hide them is setMinMaxPref/WidthHeight(0) + setOpacity(0).

[Jugen]

The next release of Flowless should fix this, so will update RichTextFX and publish a new release when that happens .....

[PavelTurk]

@Jugen Thank you very much.

[PavelTurk]

@Jugen Could you say when you plan to release the next version of Flowless?

[Jugen]

I think it'll be tomorrow and RichTextFX on Monday.

[PavelTurk]

@Jugen Am I right in understanding that you abandoned the idea of using JavaFX VirtualFlow for RichTextFX? I'm asking because after trying JavaFX VirtualFlow, I want to switch back to Flowless, as it feels more predictable to me (it doesn't update so frequently).

[Jugen]

Correct am abandoning JavaFX VirtualFlow.