On Thu, Jan 19, 2012 at 10:17 AM, Terry Brown <[email protected]> wrote: > On Thu, 19 Jan 2012 03:19:18 -0800 (PST) > Josef <[email protected]> wrote: > >> I just tried to modify a layout with free_layout, then renamed >> the .leo file, and the configuration was gone. Renaming back to the >> old name restored the configuration. I deduce from this, that the >> layout is not stored inside the leo file, but elsewhere. That means >> however, that I cannot give the leo file including the new layout to >> someone else. >> >> I would rather like to see the layout to be stored inside the leo file >> (that would make the attrib plugin more useful in a collaborative >> environment), but I don't think I have the necessary skills to work on >> the free_layout plugin myself. > > Done in 4934. As well as Load/Save layout there's now Embed layout, > which stores the layout in @settings/@data free-layout-layout. > > An embedded layout will always override an layout associated with the > outline by the Load/Save mechanism. Warnings are logged when both > mechanisms are used. > > I used JSON rather than Pickle to store the layout dict, although it's > all built in types so I guess it wouldn't matter. > > Note to Kent: you asked for something like this so you could > manipulate / generate the layout programmatically, I think, and I said > that would be too cumbersome. Well, I still say that, but now you have > the @settings entry to work with :-)
Cool. I don't know about programmatically, but I like the convenience for duplicating a layout, copy and paste the definition node, save and refresh from disk ... Thanks, Kent > > Cheers -Terry > > -- > 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. > -- 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.
