On Fri, Aug 15, 2014 at 3:29 PM, 'Terry Brown' via leo-editor < [email protected]> wrote:
> On Fri, 15 Aug 2014 03:08:46 -0700 (PDT) > Dufriz <[email protected]> wrote: > > When I change > /home/tbrown/.leo/myLeoSettings.leo#@settings-->leo_dark theme > 0-->Settings for theme-->colors-->@color minibuffer_background_color = > @solarized-base03 > > e.g. "@solarized-base03" -> "pink" > > Reload Styles works as expected. Is that what you were changing? > No, I was changing background-color under the node "mini-buffer & status" (which is child of stylesheet & source). I did not even know of the existence of the settings you just mentioned, under that node. Yet another node which contains color settings!! Anyhow, now it works. Problem solved. Moreover, with the latest recompile several unexpected changes in the UI appearance have taken place, all at once, because I had not modified the relevant parameters. For instance, the appearance of the scroll bars has changed. Likewise, the size of the text in panes has changed. And the menu entries too are now properly highlighted when the mouse pointer hovers over them, once again! My guess is that these sudden changes are due to some of the parameters which I had set earlier, and which for some reason had not taken effect until now. Thanks again, Terry, for your invaluable support. -- 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.
