On Wed, Jun 1, 2011 at 12:08 AM, zpcspm <[email protected]> wrote: > Are the color settings in "leoSettings.leo-->@settings-->Colors-->Body > pane colors" documented somewhere?
Good question. They should be documented in leoSettings.leo, in the node you give. That's the only place where people will actually read the docs. I'll do this today. > Also, I still don't know how to change the style of the splitter (it > stays blue while I want it dark). I'll investigate. > Command buttons in the toolbar look ugly as well (yellow and blue). That's a separate issue, although as I think of it you could call this a bug. Indeed, the code in mod_scripting.py goes to a lot of trouble to set the button colors, but it seems that just using the stylesheet would be a lot more elegant and flexible. I'll look into this immediately. Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/leo-editor?hl=en.
