From: Kazutoshi S. <k_s...@f2...> - 2008-11-30 13:32:36
|
Dale Anson wrote: > Kazutoshi Satoda wrote: >> Dale Anson wrote: >>> Of course, if the intent of the relative position is to track the >>> position of the vertical scrollbar, then I've got this wrong. :) >> >> I think so. > Why do you think so? I couldn't find any documentation about this in > either the code or the help file that would indicate either way. I thought the code was right because it had been worked as scroll position for years while always visible for everyone on the status bar. If it were wrong, the person who implemented it must have noticed the bug by just running jEdit. However, I agree with the following part. > Actually, the scroll bar itself shows its own > relative position, so I think a status bar widget to show the same thing > is redundant. (snip) > Either way, the current implementation is inconsistent. "Bot" follow > the caret position, "Top" follows the scroll bar. Then, I propose reverting r14040 as an incomplete change first, and submitting a patch with a specification to see if someone objects or not about the change. If it is going to show the relative caret position, I think "Top"/"Bot" will be no longer good indication; just "0%"-"100%" would be enough. More of that, I think showing the whole length would be more useful than showing the percentage; ... "line,column (caret/length)" comes in my mind. -- k_satoda |