There's a similar bug in pagination (horizontal) mode as well. Especially when you try to select/highlight a word close to the right or left edge of the screen, Marvin will, sometimes, suddenly switch to the following or previous page(s)/screen(s)... and you have to start selecting all over again. Sometimes I need to start selecting in the middle of the screen (even though I don't need to select anything
there), because it's "stable" there, and then I narrow the selection back towards the edge of the screen – a rather time-consuming workaround, but it's usable.
Overall, though, highlighting is a
lot more stable in Marvin 3 than it used to be in previous Marvin versions. In those, highlighting across paragraph or page/screen boundaries used to be impossible, or a huge struggle, and such highlights straddling paragraph/page boundaries sometimes even used to vanish without a trace (!) from the highlights list later on... There are no such problems in Marvin 3, and apart from the bug discussed above, highlighting works
very smoothly in Marvin 3.
