On Thu, Jun 20, 2019 at 10:40 AM gar <[email protected]> wrote: > Strange... My settings contain (for example) @string font-size-body = 12px > But when I dump all the settings via menu command I see that: [F] @string > fontsizebody = 22px > Got no idea what does that mean and why does it go in this way. >
The [F] means that the setting in question is defined in the local .leo file, not in myLeoSettings.leo or leoSettings.leo. > It seems strange to me to spend hours debugging setup of font sizes of the > editor.... > Yeah, all this flexibility is usually not all that helpful. Edward -- 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 https://groups.google.com/group/leo-editor. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAMF8tS20QdaovUBHOYHGgX_c711t5rRGLkzofeTC%2BFAmS8Fohg%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
