On Thu, Jan 04, 2007 at 03:04:40PM +0100, Enrico Forestieri wrote: > Using the mouse, in order to extend the selection beyond the text displayed > in the window you should slide the pointer below the window margin. > When doing so, sometimes the text is scrolled and the selection > extended, but often it is not and you need to slide the pointer back > inside the window margin and then again outside of it. However, even doing > so, most often than not the window is not scrolled, no matter of many times > you go back and forth with the pointer, and the only way to extend the > selection is by the cursor keys.
This also happens on linux. -- Enrico
