Unnecessary scrolling [was #7480]
{color:red}
reported by [~wissenbach] at 2008-01-11
previously known as [trac#16|http://www.textgrid.de/trac/ticket/16] {color}
Viewport is scrolled without moving the cursor. The cursor is then placed inside of text within the viewport (by clicking). Now the viewport scrolls some (unecessarily, since the new cursor pos was inside the viewed area already). Not critical but annoying.