There are three types of borders. Focused, Unfocused, and Hover. A focused borders is drawn around the pane where Leo is accepting keyboard input, unfocused borders are drawn around panes where Leo is not accepting keyboard input, and a hover border is drawn around a pane where your mouse is within the bounds of. Hover borders override the other types of borders.
Perhaps you can see how hover borders could confuse where Leo is accepting keyboard input. I've been happy with having disabling the hover border. I also took your advice and increased the width of the cursor. Combining the two has made bouncing around Leo's UI more fluid. On Wednesday, April 8, 2015 at 6:28:24 AM UTC-4, Edward K. Ream wrote: > > On Tue, Apr 7, 2015 at 12:39 PM, john lunzer <[email protected] > <javascript:>> wrote: > >> I think you've misunderstood my suggestion. I love focus borders, but >> *hover* focus borders are visually distracting to where the actual pane >> focus is. >> > > Ah. Yes, I did misunderstand you. I often misunderstand what people > write initially. I rely on them (or Terry) to correct me. > > > >> My first thought was to just make the hover color the same as the unfocus >> color but as I stated in my previous post the hover border overrides all >> other borders. >> > > What's a hover focus border? > > 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.
