This was my fault. Reloading settings helps. Thanks. This is consequence of dealing with IDEs where settings are applied immediately.
сб, 20 июл. 2019 г. в 16:07, vitalije <[email protected]>: > Perhaps you need to restart Leo to see new settings, or try to execute > `reload-settings`. > > > On Friday, July 19, 2019 at 8:46:42 PM UTC+2, gar wrote: >> >> How to obtain values from @settings node from the same .leo file? >> >> I want to have >> @settings >> - @color some-color = red >> >> and obtain it from the script with c.config.getColor("some-color") >> >> Now I get None albeit docs says that there should be value I defined. >> >> Inspecting config object shows that ther's no such a key: >> >> g.es([k for k in c.config.settingsDict.keys() if k.startswith('some')]) >> -> [] >> > -- > 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 view this discussion on the web visit > https://groups.google.com/d/msgid/leo-editor/6f03976a-e1ec-456e-b6de-05026d3f013d%40googlegroups.com > <https://groups.google.com/d/msgid/leo-editor/6f03976a-e1ec-456e-b6de-05026d3f013d%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAC%2B8SVyFZ17N3NetjEgtHJeCFOb%2BKfiCvN7uUw8zZgyMeRBB-Q%40mail.gmail.com.
