Hi:
For those of you reading a lot in Leo it might be uncomfortable to use Page
Down/Up since it doesn't exactly jump one page, so you have to check where
you were reading each time you use that.
This script jumps exactly the number of lines in the text widget. So you
can keep reading where you finished the previous page.
Maybe this should be the default Page Up/Down, although I guess this is a
preference or depends on your activity.
Just make a button with this script:
for number in range(c.frame.body.bodyCtrl.linesPerPage()):
c.executeMinibufferCommand("next-line")
--
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.
