31/05/2013 02:58, Cyrille Artho:
Does someone know any other app having such an issue? A typical
WYSIWYG application is different as the width of each element is
known, so there are no surprises that require local scrollbars. For
LyX, the situation seems unique, making it hard to find a solution
that is intuitive.
My typical gripe with global scrollbar is when using View Source with
firefox, where one may have a very long line at some place of the HTML
source. Global scrollbar makes it impossible to understand the code.
If it turns out to be easy to code up either solution (local/global
scrolling), we can try them both and see which one works best.
I think that both global and local scrolling with cursor are easy to
implement (even global scrollbar is easy IMO). We should indeed try both.
I do not know either what is the best solution. If I am editing a long
equation, I would not want the whole text to scroll. In some sense,
local scrolling is the solution that minimizes the amount of empty space
on screen, and therefore maximizes available information. However, it
probably requires some thought to make it intuitive.
JMarc
