I studied the code yesterday, but its too complex for me to understand. And as you say, my scripts are probably unstable, and its hard to wire them into the rest of the existing code. So I'm guessing this conversation is over becasue of those reasons.
Anyway, they are very useful, I couldn't study in Leo without them. They always work and jump just the amount of lines I need. Also checked into make them as a new default command in leosettings and bind them to the hotkeys, but there isn't a list of commands in leosettings.leo, so I figured that there must be a reason for that. On Mon, Aug 25, 2014 at 3:50 AM, Brian Theado <[email protected]> wrote: > Fidel, > > On Sat, Aug 23, 2014 at 3:46 AM, Fidel N <[email protected]> wrote: > > Brian, if you are happy with that solution, I will try to replace the > > current code with the new one. > > Otherwise please tell me what to improve, I'll try and edit the script > to do > > that. > > I don't have a good feel for what properties are important for the > PageUp/PageDown functionality. Nor do I have a good feel for how your > code changes the behavior (I know it fixes the issue which caused you > trouble, but what other effects does it have). IOW, I haven't spent > any time on it :-(. > > The code change I had made was a just a port of the built-in Qt > functionality and I figured with it being widely used, the dynamics of > the behavior were pretty good and so I only worried about duplicating > the functionality. > > I haven't looked yet to see if there are any unit tests in Leo related > to this functionality. Probably a good idea to have some. > > 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. > -- 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.
