I've been experimenting with using focused border as I find myself getting lost in Leo quite often.
Focused border has some issues that I think make it not as useful as it truly could be: 1. Hover focus might be great for making an instructional video but in regular operation it's distracting (not useful). It takes away "mental focus" from where you want it because the mouse is likely to end up in a random place on the screen and where ever it happens to be will be highlighted with the hover color but where you are actually "programmatically focused" will have the focus color. Having to move the mouse off of all panes makes using the feature undesirable. Additionally, hover color overrides focus color which is cognitively confusing if you're looking for a specific color to find which pane is in focus. There should be an option to disable hover focus, it does not seem beneficial in regular daily use, I know where my mouse is! 2. All types of focus coloring only work for Tree, Body and Log panes. I've tested pretty much every other type of pane. This even affects the "tabbed log pane", which switching to non log tabs the focus coloring disappears completely. 2 is definitely a bug. I'm even tempted to call aspects of 1 a bug but it would probably be considered an enhancement. -- 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.
