A couple more suggestions in the spirit of .leo as a graph datastore, accessed via leoBridge:
- move <leo-headers ... /> , <globals> </globals>, <preferences /> and <find_panel_settings /> into an external file. (it seems like this would also have versioning benefits) - make the default UA a string instead of a pickle - put the Leo tags in a namespace This would leave gui-independent, standards-compliant data in the file. Thanks, Kent -- 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.
