On Tue, 3 Jan 2017 18:10:58 -0800 (PST)
Ross Burnett 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 leo-editor+unsubscr...@googlegroups.com.
To post to this group, send email to leo-editor@googlegroups.com.
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.