On Thu, Jun 2, 2011 at 1:44 PM, zpcspm <[email protected]> wrote: > @color body_text_background_color = #000000 > @color body_text_foreground_color = #ffffff
> Leo starts with black background in body pane, switches to pink as > soon as mouse wheel is activated. Looking at the code, these settings are the default background colors for the various mode colors: command_mode_bg_color and the other color in @settings-->Colors-->Body pane colors. I don't see color flashes with the default settings, but it's probably not a bad idea to set the various mode colors explicitly. > 2. print-settings is useful for debugging (it's better than nothing), > but it's still not enough. I agree. It was not intended to track down Leo bugs :-) > 3. help-for-command print-settings says "no docstring"...how easy is for > somebody to discover this command. You can discover any command by doing the 'print-commands' command. > 5. To make it easier to investigate settings, perhaps print-settings > could be modified to accept a filter argument. Not a bad idea, but doing it would be ugly. An apropos-settings and apropos-color-settings seems like a more straightforward approach. 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.
