End key in text editor sometimes jumps to the previous line

As the title says. Problem can be observed in the Fonts panel in the Juce demo. I’d say if you select a random font and go to a random line in the preview, chances are about 1 in 3 you’ll see this bug.

For example, select Consolas and go to the line 0123456789. Pressing the end key will jump to the end of the line above.