Why not just switch operating systems instead of making accommodations? :-)
Chris On Thu, May 28, 2015 at 12:35 PM, 'Terry Brown' via leo-editor < [email protected]> wrote: > On Thu, 28 May 2015 12:26:05 -0700 (PDT) > john lunzer <[email protected]> wrote: > > > Not as if anyone is actually interested but I implemented > > goto-next-N-visible in a much faster way: > > You want this because holding up/down-arrow to move through the outline > is too slow? I've noticed that too. > > Would you want 'else: break' in the if, just to save those valuable > microseconds? > > Cheers -Terry > > > @language python > > > > N=5 > > > > def getVisNextN(n): > > > > current = c.p > > > > for ind in range(n): > > > > forward = current.getVisNext(c) > > > > if forward != None: > > > > current = forward > > > > return current > > > > > > > > NAhead = getVisNextN(N) > > > > c.setCurrentPosition(NAhead) > > > > c.redraw() > > > > I find this extremely useful (when bound to a key shortcut) for > > quickly navigating an outline when lots of nodes are expanded. Can be > > easily modified for goto-prev-N-visible. > > > > On Thursday, May 21, 2015 at 6:22:35 AM UTC-4, Edward K. Ream wrote: > > > > > > On Wed, May 20, 2015 at 11:40 AM, john lunzer <[email protected] > > > <javascript:>> wrote: > > > > > >> Thanks for the report. Edward what is your setup? Are you on > > >> windows or linux? > > >> > > > > > > Both. I do most of my work on Windows because the fonts are > > > clearer and sharper on that machine. Soon after a commit I'll > > > rerun all unit tests on the Linux machine. > > > > > > Edward > > > > > > > -- > 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.
