On Feb 5, 4:55 pm, "Edward K. Ream" <[email protected]> wrote: > it will bring up myLeoSettings.leo if it exists, or leoSettings.leo otherwise.
I'm not sure this is the best option. Editing user-specific settings makes perfect sense in the "Edit" context of the menu. The global settings are supposed to remain read-only as defaults. Maybe it'll be better to copy leoSettings to myLeoSettings and allow the user to modify the copy as his custom settings if myLeoSettings does not exist in the first place? -- 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.
