Main menu -> Edit -> Settings and
Main menu -> Help -> Open LeoSettings.leo both point to the global leo settings file. Please also notice that the second menu item name is technically wrong, since the file name of the file that holds global settings starts in lowercase and file names are generally case-sensitive. -- 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.
