On Tuesday, April 21, 2020 at 3:20:17 PM UTC-4, Iohannes wrote: > > Oh, that is great. I did not know where to look for it but hopefully I > have found it. > I am a little bit still confused how all "@" work. But hopefully, I will > find it out :). > Thanks, >
You can see how it works in the LeoSettings.leo outline. These are settings that apply to all Leo outlines unless they are superseded. Open the outline from the Settings menu. The search for the phrase @data import-html-tags. You can search for it using the Nav tab in the Tabs pane. Or you can use CTRL-f but the Nav tab is easier. The search will land you at a node titled @data import-html-tags. You will see right away how to include any elements you want that aren't already listed, or to remove elements you don't want to be split out into their own nodes. You will also see there is another node named @data import-xml-tags. That would be for your XML-related imports. BTW, this is a typical way to discover things about Leo. I didn't know about the import-html-tags setting until Edward mentioned it. And like you, I wasn't quite sure how to use it. It's just that I've come to learn some ways to look for things. Now, how would you customize these nodes? The best way is to copy the node and paste it into your MyLeoSettings.leo file, which you can open from the Settings menu. Settings here override those in leoSettings.leo. All settings nodes need to go under a top-level node named @settings. Paste the copied node there (you can copy and paste nodes using the Outline menu). Then change it as you like. You can also put an @settings node at the top level of any outline. Settings there override the ones of the same name in MyLeoSettings and LeoSettings, but they only apply to that particular outline. You will need to reload the settings before they take effect. You can do this by: 1) Closing and re-opening the outline, for settings in an outline; 2) Using the Settings/Reload Settings/Reload All Settings menu item; 3) Closing Leo and reopening it. It's possible that certain rare settings might need a restart of Leo, but mostly the above will work. Hope this helps! -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/bc3dc1b7-b301-4fd1-8d67-9312ce3895a4%40googlegroups.com.
