<div dir="ltr">On Mon, May 13, 2013 at 5:57 PM, Jim Jewett <span dir="ltr"><<a href="mailto:jimjjewett@gmail.com" target="_blank">jimjjewett@gmail.com</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote">

<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div class="im"><span style="color:rgb(34,34,34)">Perhaps even changing the navigation so that clicking on the scrollbar</span><br>

</div>
at 1/3 of the way down will move you to 1/3 of the way down the file,<br>
instead of "one page up from where you current are."  This would no<br>
longer be a standard scrollbar, but it might well be better.<br></blockquote><div><br></div><div style><br></div><div style>Non-standard scroll bar sounds bad to me. Here's how this feature works in Eclipse/pydev <a href="http://i.imgur.com/kQrc5n0.png" class="hoverZoomLink">http://i.imgur.com/kQrc5n0.png</a></div>

<div style><br></div><div style>Basically the scrollbar has another small strip next to it. So the locations are clickable, and they bring you to the right place, without breaking the normal scroll bar behavior.</div><div style>

<br></div><div style>Yuval</div><div><br></div><div> </div></div></div></div>