On Wed, Aug 20, 2014 at 2:52 AM, Fidel N <[email protected]> wrote:
> Its true, in general jumps just one page, but if the body pane is a bit
> bigger / smaller than X full lines (ie total length is, for instance, 12'5
> lines), it jumps one line more than desirable, so you have to go back to
> read it.
You are right...when only the top half of the last line on the screen
is showing, then page down will advance exactly one screen height
which will cause what used to be the last line to be the first line,
but now you see just the bottom half of it. So in neither case do you
see that line in its entirety which makes it hard to read. And that's
your complaint, right?
I've never use Leo to read long chunks of text linearly...always
jumping around and scanning/searching...so I've never noticed the
behavior.
> Also, Im using a speed reading technique that implies reading 4-6 lines per
> eye jump.
> So I adjust the body pane to be 4/6 words wide, then read jumping down with
> my eyes.
[...]
I put your code into script buttons and played a little and didn't
really like some of the behavior.
# page down
for number in range(c.frame.body.bodyCtrl.linesPerPage()):
c.executeMinibufferCommand("next-line")
# page up
for number in range(c.frame.body.bodyCtrl.linesPerPage()):
c.executeMinibufferCommand("previous-line")
With the cursor at the top line of the page, hitting page down moved
the cursor to the last line on the page and didn't advance the screen
at all. Hitting page down a second time advanced the display by one
screen. The cursor is now on the last line of the screen and hitting
page up moves it to the top of the screen, again not shifting the
screen.
So there are misbehaviors in both implementations. I don't immediately
see a way to fix the issues in either approach, but maybe there is a
way.
If not, one of the two approaches needs to be chosen as the default,
with the other left to user customization.
Brian
--
You received this message because you are subscribed to the Google Groups
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.
