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 leo-editor+unsubscr...@googlegroups.com. To post to this group, send email to leo-editor@googlegroups.com. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.