Several new thoughts appeared on yesterday's walk. Here I'll describe
several of them.
The Aha is simple: associate a **file gnx** with each external file.
The Aha is not very useful for external files created with @file. In
such cases Leo's traditional gnx's are best because they are most
informative.
However, this aha might be useful for files "managed" by @auto.
Suppose we add just a single "leo line" to the external file.
Something like:
#leo-file: ekr.20110708112604
A second (mostly failed) idea was to create **file-relative gnx's**
that are *relative* to this file gnx. This is, in essence, what used
to be called a "file index", but now it is more useful. These
relative gnx's are simply small integers, 1, 2, 3, etc.
Alas, **relative gnx's won't work**. There is no way of allocating
them safely, because two different people, working on the same
external file, can allocate the same relative gnx to two completely
separate nodes.
I was hoping that we could put the (small) relative gnx's in the
headline so as to be completely compatible with Emacs org mode. That
is, I was imagining
that @auto-org-mode would save outline structure in Emacs org-mode
format, with the small gnx being part of the headline. Like this::
# **** 25: my headline
I was further imagining that a small change to Emacs org-mode would
hide the gnx. It doesn't seem possible. Of course, we could put
Leo's existing (long) gnx's in the "headline", and tell org-mode to
ignore them, so the idea isn't a total waste. For example::
# **** ekr.20110708112604.18: my headline
For comparison, the present format for such lines is::
#@+node:ekr.20041005105605.1: **** my headline
Thus, the "failed" idea has at least shown how to get full org-mode
capability.
In any event, file-relative gnx's are indeed a new tool. They solve a
real problem, namely how to choose between relative and absolute file
paths. File-relative gnx's are another way to identify files
reliably.
Edward
--
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.
