http://leoeditor.com/load-leo.html is a web page that will show you the 
contents of a .leo file.

This is a beta page, but it is usable. The page works for Mozilla.  Not 
sure about other browsers. My brother Speed assures me there are no 
security holes.  

Speed will be working on server-side stuff from 8pm to midnight eastern 
time.  The page may not work during those hours.

===== Using this page

The "Upload from your hard drive" button loads a .leo file from you hard 
drive. Alternatively, you can paste a url into the text box and click the 
"Upload from the internet" button.  If you want to view a .leo file on 
github, be sure to use the "raw" url.  For example, use::

    
https://raw.githubusercontent.com/leo-editor/leo-editor/master/leo/test/test.leo

*not*::

    https://github.com/leo-editor/leo-editor/blob/master/leo/test/test.leo

Either way, the leoeditor.com server will replace the page by the .leo file 
as rendered by Ville's leo_to_html.xsl file. The new page will be called 
something like::

    http://leoeditor.com/show-leo-0004.leo

There can be up to 1000 such pages open at once.

**Important**: At present, there must be *some* kind of <?xml-stylesheet> 
element in the .leo file. Many leo files have the following do-nothing line 
near the start::

    <?xml-stylesheet ekr_test?>

That's fine.  If there is *any* such line, Speed's server-side stuff will 
replace it with::

    <?xml-stylesheet type="text/xsl" href="leo_to_html.xsl"?>

Speed will soon add the above line even if there is no stylesheet element.

I am working on improving leo_to_html.xsl so that nodes can be expanded and 
contracted. This will happen soon(TM).

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.

Reply via email to