Paste the text 5 times (to ensure the scrollbar extends).
Do not resize the window (you can, but it'll mean more steps; if you did, start over):
Press Ctrl+Home to navigate to the top of the document.
Press Ctrl+End to navigate to the bottom of the document.
Press and hold Page Up to navigate upwards.
Expected Results
The view port navigates back one page for as long as the key is held, or the top is reached.
Actual Results
The computation for the new caret position goes awry in a variety of ways, depending on how much text is pasted and the view port size, resulting in one of the following behaviours:
Nothing happens.
View port scrolls up several times, but eventually stops, as though running into an asymptote.
View port scrolls up a few times, then scrolls to the same page within an infinite loop.
This is from RichTextFX issue 935
Replicate
Run the following JavaFX application, which uses RichTextFX:
Ctrl+Home
to navigate to the top of the document.Ctrl+End
to navigate to the bottom of the document.Page Up
to navigate upwards.Expected Results
The view port navigates back one page for as long as the key is held, or the top is reached.
Actual Results
The computation for the new caret position goes awry in a variety of ways, depending on how much text is pasted and the view port size, resulting in one of the following behaviours: