On 6/12/2013 8:43 AM, Ville M. Vainio wrote:
Expansion state is mostly locally interesting infomation. The exact
reason to move expansion state to c.db would be to avoid
synchronization problems when same leo file is edited in different places.
I agree, for the most part. However, what about the case of someone
trying to highlight a particular part of the outline? They could expand
the node, save the file, and share it.
I think that the best way to approach this is to have it be an option on
a per-outline basis. Perhaps a `@settings -> @bool
save-expansion-data-to-leo-file = True` in files/myLeoSettings.leo where
users want the expansion data saved to the file instead of the DB?
-->Jake
On Wed, Jun 12, 2013 at 3:38 PM, Jacob Peck <[email protected]
<mailto:[email protected]>> wrote:
On 6/12/2013 8:33 AM, Ville M. Vainio wrote:
I think we have talked about this several times in the past :).
The node expansion state is stored in the .leo file, routinely
causing merge conflicts.
E.g.
<v t="ville.20130529111535.2215" a="E"><vh>Blah blah</vh></v>
If there is a setting to store in c.db, it should be enabled
by default.
Those who work on the same .leo from many different machines would
have a problem with that if they don't sync their DBs... and I've
learned the hard way that syncing the DB with some programs
(SpiderOak) while Leo is running can cause data-loss crashes.
Not an argument for or against moving to c.db, just something to note.
-->Jake
--
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]
<mailto:leo-editor%[email protected]>.
To post to this group, send email to [email protected]
<mailto:[email protected]>.
Visit this group at
http://groups.google.com/group/leo-editor?hl=en-US.
For more options, visit https://groups.google.com/groups/opt_out.
--
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?hl=en-US.
For more options, visit https://groups.google.com/groups/opt_out.
--
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?hl=en-US.
For more options, visit https://groups.google.com/groups/opt_out.
