The arrows are standard everywhere else, and there's something to be said for being consistent with normal practice. At first I liked the look with them not present. It's just that I've had too much trouble clicking in an inactive place, or having the pane jump by a page when I expected a line or vice-versa. That's what got me looking at it again.
I'll wait for a bit to see if anyone else wants to comment before deciding what to do. If nobody cares, I can just change my own versions of these outlines in ~/.leo/themes. On Saturday, October 29, 2022 at 9:22:14 PM UTC-4 Edward K. Ream wrote: > On Sat, Oct 29, 2022 at 9:41 AM Thomas Passin <[email protected]> wrote: > > I would like to discuss what, if anything, Leo's standard themes should do >> about the arrow issue. > > > The arrows seem like a waste of space to me. But I suppose the arrows do > give a bit more control. > > I would rather not change the existing stylesheets, but feel free to > create one or more PRs that add new themes. > > 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 view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/db4cb0d5-55d6-44a2-98b6-b9c7f061f409n%40googlegroups.com.
