No, actually the move-line-up or move-line-down command. And I confirmed that the body text needs to be longer than the screen (ie there needs to be a scroll bar).
I've found several situations where the the rehighlight doesn't trigger, but the body will scroll. The two may be unrelated. Mostly I see it scroll one line up if the scroll position is all the way to the end of the body. I see this behavior if my text cursor is near the bottom of the body and I use move-line-down, this is the desired behavior. But this same behavior seems to be taking place as I said when the scroll position is at the very bottom and I use a move-line-up OR move-line-down. On Sunday, March 6, 2016 at 9:31:11 PM UTC-5, Terry Brown wrote: > > On Sun, 6 Mar 2016 13:46:02 -0800 (PST) > john lunzer <[email protected] <javascript:>> wrote: > > > Yes, see OP, based on my memory this is brand new behavior. I can > > check out a previous rev if necessary. > > > > It may require a body that is longer than the length of the screen. > > Not sure if this is related, but I think I'm seeing a new bug where > sometimes the end of the text in the body pane is not displayed, i.e. I > know there's more but it won't scroll down any further, leaving the > node and returning to it seems to fix it. > > Don't currently have a path to reproduce, but only just started seeing > it after a recent pull from github, after not having pulled for 2-3 > weeks. > > John - I wasn't 100% clear on what you meant by moving lines up and > down, you mean moving the cursor between lines? > > Cheers -Terry > > > On Sunday, March 6, 2016 at 4:23:39 PM UTC-5, Edward K. Ream wrote: > > > > > > On Sun, Mar 6, 2016 at 10:50 AM, john lunzer <[email protected] > > > <javascript:>> wrote: > > > > > >> Just as the subject says. At rev 3cf3c17. > > > > > > Is this something new? > > > > > > EKR > -- 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 https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
