On Sat, 8 Jul 2017 00:57:14 -0700 (PDT) vitalije <[email protected]> wrote:
> I am confident that I can write command to open relevant > settings file, make change there and save it again Note that the Settings -> Edit Settings menu item machinery does some of this. Well, really it's just copying settings from one file to another, but if you're heading down the track of making an API for setting settings, those functions might be informative or might benefit from whatever you come up with as an alternative implementation. That code will also create myLeoSettings.leo if needed, which might be relevant to your work. Cheers -Terry -- 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. For more options, visit https://groups.google.com/d/optout.
