On Tue, 3 Jan 2017 18:10:58 -0800 (PST) Ross Burnett <[email protected]> wrote:
> I am poking around in the LeoDocs.leo file, and the *Leo 5.4 /* *Bugs > fixed* children have some headlines that are longer than fit in the > default-sized outline window. For example: > Fixed #289: Leo crashes with unusual combination of @clean and .leo > file > > To view the entire headline, I need to scroll right in the outline, > or I can see the entire headline in the status area at the bottom in > a smaller font, but is there a way to automatically mirror the > headline at the top of the body text so it can be more easily read? > I think it might also add context to the body text. > > Or would this need to be my first plugin? Probably, if you want to learn about PyQt and messing with the Leo interface, it wouldn't be a bad thing to try, although having used a GUI library before would help with the concepts. Commands -> Body Editors -> Add Editor creates a second body editor, and gives each exactly the headline you're describing - might not be the simplest piece of code to poke around in though. There's also the `edit-headline-long` command, but that's for editing. Cheers -Terry -- 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.
