On Thu, Sep 27, 2012 at 7:45 PM, Terry Brown <[email protected]> wrote: > On Thu, 27 Sep 2012 17:00:05 -0700 (PDT) > "Edward K. Ream" <[email protected]> wrote: > >> This would only be a problem if *different* (solarized) colors were chosen >> depending on whether the body pane has focus or not. But now that we have >> focus borders, the intense flashing involved when switching between the >> light and dark color schemes is unnecessary. > > I don't really think that's how people use the solarized theme
I agree. I just wanted to point out that the scroll bug would bite again if they did. 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.
