On Saturday, April 8, 2023 at 5:52:20 PM UTC-5 tbp1...@gmail.com wrote:
Excellent! And if Leo were to export, say, LEODIR, which would be the *leo*
directory, then there would not be a need for {leoDir} since one could
write something like
@file $LEODIR/themes/vr3/rst-dark.css
I like it.
So do I. The new code will be ready later this evening.
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 leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/leo-editor/228be406-0dda-4d3f-9481-09fa75e34101n%40googlegroups.com.
