On Mon, Jun 9, 2014 at 12:20 PM, 'Terry Brown' via leo-editor <[email protected]> wrote:
> E.g. from the Settings menu: > > Settings -> Appearance -> Fonts > > would open myLeoSettings.leo at the appropriate place (copying nodes in > from LeoSettings.leo if needed), so the user would be looking at a node > with the following children: > > @string body-text-font = Courier New > @string log-text-font = Courier New > @int body-text-font-size = 17px > @int log-text-font-size = 12px > > etc. - something along those lines. The "pick-font" button I just > added is just a convenience so the user can find font names on their > system easily. > > The body of the node with those children would have some simple > instructions, probably "Click the reload-styles button after making > changes here". > > Once the infrastructure's set up we should be able to build out the > Settings menu entries quite quickly. By infrastructure I mean the > Settings -> Appearance -> Fonts entry knowing which node to copy from > LeoSettings to myLeoSettings, if it's not already copied, where the > stylesheet needs to be, etc. etc. A clever idea. However, I don't understand how this would work. Are the "copied" nodes actually cross-file clones? That is, suppose you present these nodes to the user, and they make changes to the nodes. How are the nodes in the various files updated? And where do the "copied" nodes appear? In a separate, newly created outline? In a leoSettings.leo? Edward -- 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 http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
