On Thu, 15 May 2014 13:29:54 -0500 "Edward K. Ream" <[email protected]> wrote:
> On Thu, May 15, 2014 at 12:38 PM, 'Terry Brown' via leo-editor > > > Edward - I know your dealing with other things at the moment, but > > please let me know if this scheme doesn't work for your settings / > > environment etc. so I can fix it, always hard to know how these > > changes impact local settings. Same for everyone else of course - > > let me know if this doesn't allow you to do what you were doing > > before. > > I don't see any change except that during startup the tree pane has a > thin red border. This changes to my default thicker blue border after > startup is complete. Not a big deal, obviously, but it's a little > inconsistent. Thanks for the feedback. *If* you want to fiddle with it, you could delete / set to False any `@bool use_focus_border` you have in your local settings, and copy .../leo/config/leoSettings.leo#@settings-->Qt Gui (appearance)-->active frame border styles to you local settings and edit the values there to your blue / thicker border. I suspect that you have `@bool use_focus_border` set True in local settings so you're still using the old code, which it would be good to eliminate, but which I didn't remove because I'm trying to be as non-disruptive as possible. I guess a console / log output warning about the old code running might be a good transitional strategy. 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 http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
