On Mon, Jul 29, 2019 at 2:11 PM vitalije <[email protected]> wrote:
It has been a very long time since I've got this idea of combining Leo with > fossil. For all these years I felt that there was a great potential in this > mixture, but I haven't got the time to do anything about it until recently. > Many thanks for this excellent work. Clearly, you've demonstrated that potential. > Using two scale widgets user can choose any recorded version of the > outline shape, and history of the selected node. > You have convinced me that outline and node diffs could be useful. Sending snapshots from Leo is done by the plugin which keeps track of the > time passed since the last Leo command has been executed. When 5s pass > since the last executed command, Leo calculates the snapshot and if it is > different than the previous one it sends it in separate thread to the > server. The whole process is almost unnoticeable by the user. The server > stores the deltas in the database file (one database per Leo outline) which > is located in the same folder as the Leo document, and has the '.history' > appended to its name. For example: outline test.leo will have it's history > stored in the database test.leo.history in the same folder. > Looks good to me. Below is the link to the video demonstration (if you have read everything > above you can skip to the 3:00). There are some issues with the sound which > I couldn't fix, but there are captions in English. > Excellent. This kind of demo, with minimal/no captions seems to be popular. For example, see the emacs demos here <https://realpython.com/emacs-the-best-python-editor/#better-syntax-checking-flycheck-v-flymake>. They let the code do the explaining :-) I am thinking that I should replace of of Leo's ponderous videos with this kind of thing. 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 view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAMF8tS2i%3DDCSeLWGVabQSuCZhTAUjJuKyUaB2RbWxO4sBzagyQ%40mail.gmail.com.
