Re: FunctionTrace - Low overhead Python Profiler

[Jacob MacDonald]

It looks to be a C extension module
(https://gitlab.com/mbryant/functiontrace/-/blob/770340083a06b46c6dfe6cd8128600a11a47d3dc/py-functiontrace/_functiontrace.c)
which uses profiling hooks built into Python
(https://docs.python.org/3/c-api/init.html#c.PyEval_SetProfile, among
others).

-- 
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/CACy6W0ADHGnGKKA2C0DHrVNgB%2Bxyume7ygBC%2BVxfDiEzVhHR0w%40mail.gmail.com.

Re: Approximate String Searching

[Jacob MacDonald]

Thomas Passin wrote:
> I thought this might be of interest to some people on the list.  Here's a 
> link to the paper:
>
> APPROXIMATE MULTIPLE STRING SEARCH (Muth and Manber)

The read was very interesting, but it looks like the linked paper is
by Baeza-Yates and Navarro, and I see Manber mentioned but not Muth.
In any case, there's other interesting work around the same problem,
including another paper by the same authors using finite automata.

-- 
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/CACy6W0AgSa4PgzFi5Kw89bP%2BgHWsL%2BXuQ2S6%3DbBJcYhJ_j%3DZ_Q%40mail.gmail.com.

Re: Typing Annotation Question

[Jacob MacDonald]

You can also manually annotate at the call site with no runtime cost
(https://docs.python.org/3/library/typing.html#typing.cast). That
doesn't give any guarantees, though, and will fail neither during
typechecking nor runtime.

-- 
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/CACy6W0DKOCzZ21MA%3DOq3wgu48rqckwdit_t62O7JB666KNZjSA%40mail.gmail.com.

Re: Typing Annotation Question

[Jacob MacDonald]

I'm not very familiar with the Leo codebase and don't have a working
version downloaded at the moment, but like mypy and can maybe offer a
suggestion. Browsing the code, it looks like c.config is set in
initSettings 
(https://github.com/leo-editor/leo-editor/blob/master/leo/core/leoCommands.py#L432).
mypy indeed does not understand that c.config will always be a member
variable of a given type. Even if you notate the variable in that
section, I suspect that the typechecker won't pick it up properly. I
believe the solution would be to annotate the existence of c.config
while leaving that assignment alone. Something like:

config: LocalConfigManager

inside the class but before any method definitions should do the
trick. That is, a type annotation without any kind of assignment
involved.

-- 
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/CACy6W0Dd2EHdrdWhGkK6_5%3D2O%3DQiEunZcOeT-MCaxoEGgDD8EQ%40mail.gmail.com.

Re: Another small Q: selecting test and text endings

[Jacob MacDonald]

Edward K. Ream wrote:
>> - In that page, I copied the "Code" link, whose contents is:
>>  https://github.com/tbpassin/leo-editor.git
> Something strange is happening. I'll continue to investigate.

The instructions GitHub gives you to clone don't change based on which
branch you're viewing. In the tbp directory, you need to run `git
checkout tbp-leo-general` and then should see the new code.

Jacob.

-- 
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/CACy6W0CRx6T02y_MaWnSdxkt1DmaQyQQTi8Xmhcpc7J7W3qgxg%40mail.gmail.com.

Re: Wanted: vim and emacs (org mode) champions

[Jacob MacDonald]

I enjoy Emacs and Python, and have been meaning to contribute to Leo
for a minute now. It seems like requests about Org mode are pretty
common, and I keep some data in Org mode in a format which would be
better suited to a proper tree editor. Perhaps I'll start
experimenting there.

On Fri, Jun 21, 2019 at 9:23 AM Edward K. Ream  wrote:
>
>
>
> On Fri, Jun 21, 2019 at 9:15 AM jkn  wrote:
>
>>
>> I should volunteer for this, for the somewhat rare CRiSP editor I use and 
>> have occasionally banged on about here.
>
>
> Thanks.
>
>> CRiSP has a 'server' mode which can be used to open up filies within it; 
>> this would be a good area where having a bridge between the two programs 
>> would be useful.
>
>
> I've been thinking that client/server interactions could be an important way 
> to integrate Leo with other editors.
>
>> So, I'll volunteer for at least *something* along these lines, if that 
>> helps...
>
>
> Yes, it helps.  Your first task, should you choose to accept it, will be to 
> open one or more new issues for any features that you would like to see added 
> to Leo.
>
> 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 post to this group, send email to leo-editor@googlegroups.com.
> Visit this group at https://groups.google.com/group/leo-editor.
> To view this discussion on the web visit 
> https://groups.google.com/d/msgid/leo-editor/CAMF8tS36TajSVptmjYnW5ejP53w8hsc2OoY9fxxgzf1wKiN0pw%40mail.gmail.com.
> For more options, visit https://groups.google.com/d/optout.

-- 
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 post to this group, send email to leo-editor@googlegroups.com.
Visit this group at https://groups.google.com/group/leo-editor.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/CACy6W0AktFE9igHG_DVbUt1e4c0LZxvfo7aWDV%3DPM%2BW3J%2BOhzQ%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.

Re: The Pharo Chronicles: A Pythonic Pharo? A Pharonic Python?

[Jacob MacDonald]

That was a typo, I meant Smalltalk on Leo.

On Mon, Mar 11, 2019 at 12:54 PM Offray Vladimir Luna Cárdenas <
off...@riseup.net> wrote:

> Hi Jacob,
>
> On 24/02/19 5:17 a. m., Jacob MacDonald wrote:
> >
> > Somewhat related, I discovered Leo and Pharo around the same time and
> > dream of writing a Smalltalk on top of Pharo someday. That project's
> > been on the back burner for a couple years now though :)
>
>
> Thanks for your interest in Pharo. Just out of curiosity, could you
> elaborate more about this dream? Pharo is already a Smalltalk, so I
> think that I'm not understanding this well.
>
> Cheers,
>
> Offray
>
> --
> 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 post to this group, send email to leo-editor@googlegroups.com.
> Visit this group at https://groups.google.com/group/leo-editor.
> For more options, visit https://groups.google.com/d/optout.
>

-- 
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 post to this group, send email to leo-editor@googlegroups.com.
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Re: The Pharo Chronicles: A Pythonic Pharo? A Pharonic Python?

[Jacob MacDonald]

> Yesterday I went looking for the Pharo sources
> .  I particularly want to find the
> Pharo sources for the VM.  Despite the obvious link, I have only found C
> sources.  Can anyone tell me where the Pharo sources for the VM are?
>

I'm not a Pharo core dev, but I am fascinated by the history of Smalltalk
and have done some reading about the VM. Pharo uses the OpenSmalltalk VM
(see the GitHub repo 
and the homepage ), which is also used for
Squeak, Cuis, and Newspeak. Pharo forked from Squeak and he history of
Squeak is described here 
(it was a very direct descendant of Smalltalk-80). That article is a
favorite of mine and describes the VM design and creation process. I
believe the VM is still developed in a similar manner, that is in a
Smalltalk image and eventually exported to generated C code. See here

and here  for
recent literature on that development style.

This seems to be the official way to set up a development image.
 I've
never tried generating one myself, but you might be able to FileIn these
files from Pharo if you're interested in reading the source.


> This morning I asked myself the question, would it be possible to write
> (say in Pharo) a VM for the *python* byte codes?  This might make it
> possible to create a reloadable python.  (Insert catchy neologism for Pharo
> + Python here).  This isn't totally unreasonable. There is a common core
> used by Pharo, Smalltalk, etc.
>

Writing VMs in Smalltalk is entirely doable. The Blue Book describes one
down to source I believe. Not sure anyone's tried reading Python bytecode
yet though. Once that is done your reloadable Python would certainly be in
sight.

Somewhat related, I discovered Leo and Pharo around the same time and dream
of writing a Smalltalk on top of Pharo someday. That project's been on the
back burner for a couple years now though :)

Cheers,

Jacob.

-- 
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 post to this group, send email to leo-editor@googlegroups.com.
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Re: My future with Leo

[Jacob MacDonald]

Edward:

Also appreciate the glimpse. Also a bit of a younger perspective, as I'm
barely in my twenties.

Recent discussions convince me that Leo is in excellent hands with Terry
> and Vitalije. This is reassuring.  Leo is likely to thrive after I am gone.
> It has also been upsetting. I am no longer an essential part of my own
> life's work.
>

I think there are two degrees of essentiality when it comes to one's
legacy. Perhaps you are no longer essential in an existential sense to Leo,
but I wholeheartedly agree with Terry: There is another degree that I find
harder to describe. But it's similar to how I think of my parents' impact
on my life. I won't be unable to go on when they are gone, but they are not
less than essential while I still have them.

For the last week I have been taking stock of my life. Once again I have
> confronted the odds that human society isn't going to last much longer than
> I do. The world is organized around money, which is blind. The
> counterweight, government, is being suborned by dark money, propaganda and
> thugs. We can expect the earth's billions of people to act, in aggregate,
> much like mindless particles (social atoms). A reasonable computer model
> portends economic and/or ecological overshoot and collapse in the near
> future. Despite propaganda to the contrary, the world is closely tracking
> that model.
>

For better or worse, the propaganda isn't working that well against some
parts of my generation. At least not to lull us into a haze (For many it is
working to create despair, and while that doesn't help the world I don't
think despair is a signal of effective propaganda.). The problem is
figuring out how to lift out of the death spiral. I'm cautiously optimistic.


> In the intellectual realm, I have been reading a raft of excellent books.
>

Perhaps something like this will help with the above problems :)


> My focus has been on using history as a guide to the future. In the
> physical realm, I have begun training so that I might walk 10 miles without
> much trouble.  I would love to spend weeks wandering around London. In the
> emotional and spiritual realms, I have committed to "living in the light"
> as an alternative to despair and rage. That may be the most daring
> adventure of all.
>

Glad to hear it. May God grant you many more years.

Jacob.

-- 
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 post to this group, send email to leo-editor@googlegroups.com.
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Re: Unable to push or pull from devel

[Jacob MacDonald]

What's the error message?

On Sun, Mar 4, 2018, 13:00 Edward K. Ream  wrote:

> git push and git pull --rebase both fail. Anyone have any suggestions?
>
> 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 post to this group, send email to leo-editor@googlegroups.com.
> Visit this group at https://groups.google.com/group/leo-editor.
> For more options, visit https://groups.google.com/d/optout.
>

-- 
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 post to this group, send email to leo-editor@googlegroups.com.
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Re: Huh??? All branch descriptions are the same!!!

[Jacob MacDonald]

The branch description is a config option, and Git doesn't sync config
options.

You could include a script to set up the proper options or a file
describing various branches, but syncing configuration directly is not
supported by Git.

See https://stackoverflow.com/a/18340114 for one way to set up a shared
configuration. It still requires user action.

On Thu, Mar 1, 2018, 10:42 vitalije  wrote:

> Have you tried to push local branch after editing local descirption?
> Vitalije
>
>
> On Thursday, March 1, 2018 at 5:18:53 PM UTC+1, Edward K. Ream wrote:
>>
>> On Thursday, March 1, 2018 at 9:59:24 AM UTC-6, Edward K. Ream wrote:
>>
>> Googling yields this page
>>> , which
>>> seems clear enough.  Here is what I shall do:
>>>
>>> 1.  Do git branch --edit-description for all major branches.
>>>
>>
>> Not much joy.  Yes, --edit-description does change
>> leo-editor/.git/config, but this appears to be a *local* file.
>>
>> So  `git config branch.master.description` does show the description of
>> master, but afaik, this will not be known to anyone else.
>>
>> 2.  Change the global description at the top of each branch page to
>>> mention this command:
>>>
>>> git config branch..description
>>>
>>
>> On indefinite hold.
>>
>> Any ideas?
>>
>> 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 post to this group, send email to leo-editor@googlegroups.com.
> Visit this group at https://groups.google.com/group/leo-editor.
> For more options, visit https://groups.google.com/d/optout.
>

-- 
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 post to this group, send email to leo-editor@googlegroups.com.
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Re: Joe, building LeoVue fails for me on Windows and Ubuntu

[Jacob MacDonald]

Yes, I would suspect that ancient Node version first and foremost. The
NodeJS site has a repository you can add for more up to date versions of
their software.

On Mon, Feb 19, 2018, 11:47 Edward K. Ream  wrote:

> On Monday, February 19, 2018 at 11:42:11 AM UTC-6, Edward K. Ream wrote:
>
> It's troubling that the Ubuntu versions are so much lower than
> corresponding Windows versions.
>
> 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 post to this group, send email to leo-editor@googlegroups.com.
> Visit this group at https://groups.google.com/group/leo-editor.
> For more options, visit https://groups.google.com/d/optout.
>

-- 
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 post to this group, send email to leo-editor@googlegroups.com.
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Re: 2018 will be a momentous year for Leo

[Jacob MacDonald]

Rust has some really nice ergonomics for dealing with data structures. The
possibility of interfacing with Python to implement core data functions in
a faster and safer way is very interesting. Looks like I'll be reading
about writing Python modules in Rust.

On Thu, Feb 15, 2018, 13:21 Terry Brown  wrote:

> On Thu, 15 Feb 2018 06:03:11 -0800 (PST)
> "Edward K. Ream"  wrote:
>
> > Leo's core assets are Leo's data structures, Leo's minibuffer-based
> > commands, and one or two others. Incorporating these assets into
>
> I agree Leo's data structure is one of its greatest assets.  Not sure
> about the minibuffer commands.  I guess vs. any environment that
> doesn't support anything similar, they're a major asset.
>
> > *other* apps, such as Atom or WebAssembly Studio, would guarantee a
> > long life for the Leonine way.
> >
> > Given the relatively small amount of code involved, we might
> > seriously consider rewriting Leo's core assets in javascript or even
> > rust.
>
> I think is some ways the issue is not so much web ui vs. Qt UI, but
> Python vs. not Python.  Python is easily the dominant language in the
> domains I work in most, so not Python options aren't super interesting
> to me.
> https://madnight.github.io/githut/#/pull_requests/2017/4
>
> Re-writing Leo's core is an interesting idea.  I think there are some
> great opportunities for clarifying the boundaries between the node
> storage backend, and the outline representation, and outline
> manipulators, and the gui.  I'm not saying those boundaries don't
> exist, but I think they could be easier to see, leading to the
> possibility of interchanging parts more freely.
>
> But my Python bias remains.
>
> Cheers -Terry
>
> --
> 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 post to this group, send email to leo-editor@googlegroups.com.
> Visit this group at https://groups.google.com/group/leo-editor.
> For more options, visit https://groups.google.com/d/optout.
>

-- 
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 post to this group, send email to leo-editor@googlegroups.com.
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Re: OTish: asm.js - an extraordinarily optimizable, low-level subset of JavaScript

[Jacob MacDonald]

That's not all. If you want to see some really neat things check out Web
Assembly, the evolution of ASM.js which compiles to a binary and already
has support in a few browsers and LLVM.

Jacob.

On Wed, Feb 14, 2018, 08:22 Edward K. Ream  wrote:

> On Wed, Feb 14, 2018 at 7:27 AM, jkn  wrote:
>
>> Just for general interest and 'wow'-ness really, given the recent chat
>> about Node.js, browser integration, ect. ect.
>>
>> http://asmjs.org/
>>
>> http://kripken.github.io/mloc_emscripten_talk/
>>
>
> ​Thanks for the links.  Given the complications involved I would not have
> paid any attention to this kind of project unless it came from an
> organization like Mozilla.
>
> 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 post to this group, send email to leo-editor@googlegroups.com.
> Visit this group at https://groups.google.com/group/leo-editor.
> For more options, visit https://groups.google.com/d/optout.
>

-- 
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 post to this group, send email to leo-editor@googlegroups.com.
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Re: Git within Leo?

[Jacob MacDonald]

In addition to using Git from outside of Leo, you can change the behavior
of Git so that it doesn't hang on commit.

1. Use the -m "message" option to avoid popping an editor.
2. Set Leo or another editor as your $EDITOR environment variable so Git
picks it up.
3. Change Git's core.editor variable with "git config --global core.editor
myeditorbin".

On Mon, Jan 22, 2018 at 3:17 PM Matt Wilkie  wrote:

> And there are plenty of git GUIs, particularly for Windows.
>>
>
> I have tried many Git GUIs, searching for something approaching the
> balanced simplicity and power of TortoiseHg's Workbench, and appropriate
> for someone of middling developer experience. The best for me and the one
> I've settled on is Git Extensions: http://gitextensions.github.io/ It's
> Windows only but I've read that it works fine on Linux using Mono.
>
> Matt
>
> --
> 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 post to this group, send email to leo-editor@googlegroups.com.
> Visit this group at https://groups.google.com/group/leo-editor.
> For more options, visit https://groups.google.com/d/optout.
>

-- 
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 post to this group, send email to leo-editor@googlegroups.com.
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Re: tip wanted: faster git clone

[Jacob MacDonald]

Oh, I didn't realize unshallowing was added! I retract my statement.
Without that feature I find that a repository without history is bad for
development because of the lack of bisect.

On Fri, Dec 8, 2017, 12:50 Matt Wilkie <map...@gmail.com> wrote:

> Thanks Jacob!
>
> It seems that --depth=x  a.k.a. Shallow Clones used to be a problem prior
> to Git v1.9 but are now more fully featured. They're still downplayed in
> "merge-based workflows" but not an actual problem anymore:
> https://stackoverflow.com/questions/6941889/is-it-safe-to-shallow-clone-with-depth-1-create-commits-and-pull-updates-aga
>
> A repo can be started with a shallow clone and full history pulled later
> if needed with (Git 2.8+):
> *git pull --unshallow*
>
> So for Leo's current commit rate a shallow clone with a history of
> ~3-4months would be:
>
> git clone --depth=500
>
> To go back to the last tagged release ask someone who has a clone to
> report result of `git rev-list HEAD ^5.6 --count` (412 at present moment or
> maybe https://github.com/cjlarose/github-rev-list. You could also look at
> the dev*NNN* at https://pypi.python.org/pypi/leo and hazard an estimate.
>
> matt
>
> On Thu, Dec 7, 2017 at 9:01 PM, Jacob MacDonald <jaccar...@gmail.com>
> wrote:
>
>> Check out the documentation for the `--depth` flag to `git-clone`. It
>> will pull only the selected number of commits from a single branch, which
>> means your initial clone is far smaller. However, it makes it very
>> difficult to do development later, so make sure the clone will only be used
>> for reading!
>>
>> Jacob.
>>
>> On Thu, Dec 7, 2017 at 10:51 PM Matt Wilkie <map...@gmail.com> wrote:
>>
>>> Somebody (Kent?) posted a git clone command that was faster than the
>>> typical:
>>>
>>>  git clone https://github.com/leo-editor/leo-editor.git
>>>
>>> I think it involved telling git there was no need to go back to the
>>> beginning of time, just the previous N months. Or something?
>>>
>>> matt
>>>
>>> --
>>> 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 post to this group, send email to leo-editor@googlegroups.com.
>>> Visit this group at https://groups.google.com/group/leo-editor.
>>> For more options, visit https://groups.google.com/d/optout.
>>>
>> --
>> 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 post to this group, send email to leo-editor@googlegroups.com.
>> Visit this group at https://groups.google.com/group/leo-editor.
>> For more options, visit https://groups.google.com/d/optout.
>>
>
> --
> 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 post to this group, send email to leo-editor@googlegroups.com.
> Visit this group at https://groups.google.com/group/leo-editor.
> For more options, visit https://groups.google.com/d/optout.
>

-- 
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 post to this group, send email to leo-editor@googlegroups.com.
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Re: tip wanted: faster git clone

[Jacob MacDonald]

Check out the documentation for the `--depth` flag to `git-clone`. It will
pull only the selected number of commits from a single branch, which means
your initial clone is far smaller. However, it makes it very difficult to
do development later, so make sure the clone will only be used for reading!

Jacob.

On Thu, Dec 7, 2017 at 10:51 PM Matt Wilkie  wrote:

> Somebody (Kent?) posted a git clone command that was faster than the
> typical:
>
>  git clone https://github.com/leo-editor/leo-editor.git
>
> I think it involved telling git there was no need to go back to the
> beginning of time, just the previous N months. Or something?
>
> matt
>
> --
> 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 post to this group, send email to leo-editor@googlegroups.com.
> Visit this group at https://groups.google.com/group/leo-editor.
> For more options, visit https://groups.google.com/d/optout.
>

-- 
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 post to this group, send email to leo-editor@googlegroups.com.
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Re: How does instant update work in Pharo?

[Jacob MacDonald]

Afraid not, it's firmly vaporware right now and thus I'm loath to talk
about it before I've done any actual work.

On Sat, Jul 8, 2017 at 5:17 PM Edward K. Ream <edream...@gmail.com> wrote:

> On Sat, Jul 8, 2017 at 3:51 PM, Jacob MacDonald <jaccar...@gmail.com>
> wrote:
>
>> This mailing list keeps getting filled with things I'm otherwise
>> interested in, from Fossil to Smalltalk! Since the beginning of this year
>> I've had the idea of creating a Smalltalk environment inside Leo; Perhaps
>> this is the inspiration needed for me to actually put some time into it.
>>
>
> ​That would be amazing. Can you give us a glimpse of your ideas?
>
> I've spent the afternoon happily going down the Pharo rabbit hole.  I'm
> tempted to lose myself in Pharo Wonderland...
>
> 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 post to this group, send email to leo-editor@googlegroups.com.
> Visit this group at https://groups.google.com/group/leo-editor.
> For more options, visit https://groups.google.com/d/optout.
>

-- 
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 post to this group, send email to leo-editor@googlegroups.com.
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Re: How does instant update work in Pharo?

[Jacob MacDonald]

This mailing list keeps getting filled with things I'm otherwise interested
in, from Fossil to Smalltalk! Since the beginning of this year I've had the
idea of creating a Smalltalk environment inside Leo; Perhaps this is the
inspiration needed for me to actually put some time into it.

On Sat, Jul 8, 2017 at 1:48 PM Edward K. Ream  wrote:

> On Saturday, July 8, 2017 at 1:45:26 PM UTC-5, Edward K. Ream wrote:
>
> So...Could we define a PharoObject class (in Python) that could do the
>> same?
>>
>
> I meant to say that if we want our app to emulate Pharo in Python all our
> app's objects should derive from PharoObject instead of object.  Hmm.  That
> might be a tad difficult for builtins...
>
>
> 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 post to this group, send email to leo-editor@googlegroups.com.
> Visit this group at https://groups.google.com/group/leo-editor.
> For more options, visit https://groups.google.com/d/optout.
>

-- 
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 post to this group, send email to leo-editor@googlegroups.com.
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Re: How to install pyEnchant w/ Anaconda on Windows?

[Jacob MacDonald]

Slow down! You can still use good old pip: pyEnchant has a Win32 wheel for
Python 2.7+. I'm not sure of your specifics, but I have a Leo instance
running on a work machine. Conda will play nice with the package, so don't
worry about the environment getting changed irreversibly.

On Thu, Apr 6, 2017 at 5:57 PM lewis  wrote:

> The version at http://pythonhosted.org/pyenchant/download.html is 1.6.6
> However a later win32.exe 1.6.8 version is available at
> https://pypi.python.org/pypi/pyenchant/1.6.8
>
> Lewis
>
> --
> 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 post to this group, send email to leo-editor@googlegroups.com.
> Visit this group at https://groups.google.com/group/leo-editor.
> For more options, visit https://groups.google.com/d/optout.
>

-- 
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 post to this group, send email to leo-editor@googlegroups.com.
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Re: Installing PyQt on Windows

[Jacob MacDonald]

All right, did a small amount of testing on Windows, and that environment 
list won't work. Turns out it is platform-specific. In general though, pyqt 
installs through Miniconda just fine. Tweaking the list of dependency and 
getting vs_xx versions is necessary on Windows. Also, if you want spell 
checking you will need a 32 bit environment to install the pyenchant wheel 
into. You can do that using the CONDA_FORCE_32BIT environment variable. 
It's undocumented but documented in a GitHub issue.

On Tuesday, March 28, 2017 at 5:42:05 PM UTC-5, Jacob MacDonald wrote:
>
> Run by cloning the Leo repository, activating the environment created 
> using that file, and 
>
> python launchLeo.py
>
> should send you on your way!
>
> On Tuesday, March 28, 2017 at 5:39:42 PM UTC-5, Jacob MacDonald wrote:
>>
>> name: leochannels:- defaultsdependencies:- alabaster=0.7.10=py36_0- 
>> babel=2.3.4=py36_0- dbus=1.10.10=0- docutils=0.13.1=py36_0- expat=2.1.0=0- 
>> fontconfig=2.12.1=3- freetype=2.5.5=2- glib=2.50.2=1- 
>> gst-plugins-base=1.8.0=0- gstreamer=1.8.0=0- icu=54.1=0- 
>> imagesize=0.7.1=py36_0- jinja2=2.9.5=py36_0- jpeg=9b=0- libffi=3.2.1=1- 
>> libgcc=5.2.0=0- libiconv=1.14=0- libpng=1.6.27=0- libxcb=1.12=1- 
>> libxml2=2.9.4=0- markupsafe=0.23=py36_2- openssl=1.0.2k=1- pcre=8.39=1- 
>> pip=9.0.1=py36_1- pygments=2.2.0=py36_0- pyqt=5.6.0=py36_2- python=3.6.1=0- 
>> pytz=2016.10=py36_0- qt=5.6.2=3- readline=6.2=2- requests=2.13.0=py36_0- 
>> setuptools=27.2.0=py36_0- sip=4.18=py36_0- six=1.10.0=py36_0- 
>> snowballstemmer=1.2.1=py36_0- sphinx=1.5.1=py36_0- sqlite=3.13.0=0- 
>> tk=8.5.18=0- wheel=0.29.0=py36_0- xz=5.2.2=1- zlib=1.2.8=3
>>
>>
>> On Tue, Mar 28, 2017 at 10:59 AM Offray Vladimir Luna Cárdenas <
>> off...@riseup.net> wrote:
>>
>>> Yes Jacob, please provide us your environment configuration. I'm 
>>> entering to a couple of really busy moths (last part of writing my thesis), 
>>> but I can try to test your setup in miniconda and give feedback.
>>>
>>> Cheers,
>>>
>>> Offray
>>>
>>> On 27/03/17 23:11, Jacob MacDonald wrote:
>>>
>>> I have Leo running in a Miniconda environment. It's not on Windows, but 
>>> I could provide my environment configuration if it would be helpful. From 
>>> that, it is one command to create a working environment with the conda 
>>> command line tool. 
>>>
>>> Regards,
>>>
>>> Jacob.
>>>
>>> On Mon, Mar 27, 2017 at 10:58 PM Offray Vladimir Luna Cárdenas <
>>> off...@riseup.net> wrote:
>>>
>>>> Hi,
>>>>
>>>> I think that Anaconda is maybe too much, but I would advice to checkout 
>>>> miniconda, which is basically just the installer and the python 
>>>> interpreter 
>>>> and serves the same purpose, without including a scientific python 
>>>> distribution with jupyter, to install Leo. My advice is to create a Leo 
>>>> installer/updater using miniconda as a base. Same installation recipes 
>>>> should work on miniconda and anaconda.
>>>>
>>>> Cheers,
>>>>
>>>> Offray
>>>>
>>>> On 27/03/17 18:49, Largo84 wrote:
>>>>
>>>> Thanks for that, Edward. I looked at Anaconda a few days ago, but found 
>>>> it a little overwhelming. Maybe it will be easier than I think once I get 
>>>> started. I'd like to revert one of my Win10 machines to 32 bit version so 
>>>> I 
>>>> can install pyenchant. Would it be best to uninstall everything and start 
>>>> over from scratch with Anaconda? Leo works fine on that machine now 
>>>> (except 
>>>> for no spell check). 
>>>>
>>>> Rob
>>>>
>>>> On Monday, March 27, 2017 at 6:05:41 PM UTC-4, Edward K. Ream wrote: 
>>>>>
>>>>>
>>>>>
>>>>> On Mon, Mar 27, 2017 at 10:06 AM, Largo84 <lar...@gmail.com> wrote:
>>>>>
>>>>>> I am trying to set up Leo for a colleague on his Windows PC and see 
>>>>>> that it's much more difficult than I recall, especially for 
>>>>>> non-programmers. Apparently, PyQt no longer provides Windows binary 
>>>>>> installation executables. Not really knowing what else to try, I opened 
>>>>>> the 
>>>>>> Python command shell and typed `pip3 install PyQt5` and got a syntax 
>>>>>> error.
>>>>>>
>>>>>
>>>>> ​

Re: Installing PyQt on Windows

[Jacob MacDonald]

Run by cloning the Leo repository, activating the environment created using 
that file, and 

python launchLeo.py

should send you on your way!

On Tuesday, March 28, 2017 at 5:39:42 PM UTC-5, Jacob MacDonald wrote:
>
> name: leochannels:- defaultsdependencies:- alabaster=0.7.10=py36_0- 
> babel=2.3.4=py36_0- dbus=1.10.10=0- docutils=0.13.1=py36_0- expat=2.1.0=0- 
> fontconfig=2.12.1=3- freetype=2.5.5=2- glib=2.50.2=1- 
> gst-plugins-base=1.8.0=0- gstreamer=1.8.0=0- icu=54.1=0- 
> imagesize=0.7.1=py36_0- jinja2=2.9.5=py36_0- jpeg=9b=0- libffi=3.2.1=1- 
> libgcc=5.2.0=0- libiconv=1.14=0- libpng=1.6.27=0- libxcb=1.12=1- 
> libxml2=2.9.4=0- markupsafe=0.23=py36_2- openssl=1.0.2k=1- pcre=8.39=1- 
> pip=9.0.1=py36_1- pygments=2.2.0=py36_0- pyqt=5.6.0=py36_2- python=3.6.1=0- 
> pytz=2016.10=py36_0- qt=5.6.2=3- readline=6.2=2- requests=2.13.0=py36_0- 
> setuptools=27.2.0=py36_0- sip=4.18=py36_0- six=1.10.0=py36_0- 
> snowballstemmer=1.2.1=py36_0- sphinx=1.5.1=py36_0- sqlite=3.13.0=0- 
> tk=8.5.18=0- wheel=0.29.0=py36_0- xz=5.2.2=1- zlib=1.2.8=3
>
>
> On Tue, Mar 28, 2017 at 10:59 AM Offray Vladimir Luna Cárdenas <
> off...@riseup.net> wrote:
>
>> Yes Jacob, please provide us your environment configuration. I'm entering 
>> to a couple of really busy moths (last part of writing my thesis), but I 
>> can try to test your setup in miniconda and give feedback.
>>
>> Cheers,
>>
>> Offray
>>
>> On 27/03/17 23:11, Jacob MacDonald wrote:
>>
>> I have Leo running in a Miniconda environment. It's not on Windows, but I 
>> could provide my environment configuration if it would be helpful. From 
>> that, it is one command to create a working environment with the conda 
>> command line tool. 
>>
>> Regards,
>>
>> Jacob.
>>
>> On Mon, Mar 27, 2017 at 10:58 PM Offray Vladimir Luna Cárdenas <
>> off...@riseup.net> wrote:
>>
>>> Hi,
>>>
>>> I think that Anaconda is maybe too much, but I would advice to checkout 
>>> miniconda, which is basically just the installer and the python interpreter 
>>> and serves the same purpose, without including a scientific python 
>>> distribution with jupyter, to install Leo. My advice is to create a Leo 
>>> installer/updater using miniconda as a base. Same installation recipes 
>>> should work on miniconda and anaconda.
>>>
>>> Cheers,
>>>
>>> Offray
>>>
>>> On 27/03/17 18:49, Largo84 wrote:
>>>
>>> Thanks for that, Edward. I looked at Anaconda a few days ago, but found 
>>> it a little overwhelming. Maybe it will be easier than I think once I get 
>>> started. I'd like to revert one of my Win10 machines to 32 bit version so I 
>>> can install pyenchant. Would it be best to uninstall everything and start 
>>> over from scratch with Anaconda? Leo works fine on that machine now (except 
>>> for no spell check). 
>>>
>>> Rob
>>>
>>> On Monday, March 27, 2017 at 6:05:41 PM UTC-4, Edward K. Ream wrote: 
>>>>
>>>>
>>>>
>>>> On Mon, Mar 27, 2017 at 10:06 AM, Largo84 <lar...@gmail.com> wrote:
>>>>
>>>>> I am trying to set up Leo for a colleague on his Windows PC and see 
>>>>> that it's much more difficult than I recall, especially for 
>>>>> non-programmers. Apparently, PyQt no longer provides Windows binary 
>>>>> installation executables. Not really knowing what else to try, I opened 
>>>>> the 
>>>>> Python command shell and typed `pip3 install PyQt5` and got a syntax 
>>>>> error.
>>>>>
>>>>
>>>> ​PyQt5 seems to be a moving target.  It's possible to screw up a 
>>>> previously working Qt5 installation, as I demonstrated several times today.
>>>>
>>>> My suggestion is to start with a Python 3 version of Anaconda.  I also 
>>>> recommend installing 32-bit versions, even on 64-bit systems.  That way 
>>>> you 
>>>> can install ​
>>>>   
>>>> ​pyenchant.
>>>>
>>>> I have been successful in installing 4.1.1 on both Python 2 and 3. The 
>>>> installers are:
>>>>
>>>> - Anaconda2-4.1.1-Windows-x86.exe and​
>>>> - Anaconda3-4.1.1-Windows-x86.exe
>>>>
>>>> According to my notes, Anaconda 4.2 was buggy: it does not handle 
>>>> QTreeWidget properly.  This was several months ago.  Perhaps things are 
>>>> better now.
>>>>
>>>> Once 

Re: Installing PyQt on Windows

[Jacob MacDonald]

I have Leo running in a Miniconda environment. It's not on Windows, but I
could provide my environment configuration if it would be helpful. From
that, it is one command to create a working environment with the conda
command line tool.

Regards,

Jacob.

On Mon, Mar 27, 2017 at 10:58 PM Offray Vladimir Luna Cárdenas <
off...@riseup.net> wrote:

> Hi,
>
> I think that Anaconda is maybe too much, but I would advice to checkout
> miniconda, which is basically just the installer and the python interpreter
> and serves the same purpose, without including a scientific python
> distribution with jupyter, to install Leo. My advice is to create a Leo
> installer/updater using miniconda as a base. Same installation recipes
> should work on miniconda and anaconda.
>
> Cheers,
>
> Offray
>
> On 27/03/17 18:49, Largo84 wrote:
>
> Thanks for that, Edward. I looked at Anaconda a few days ago, but found it
> a little overwhelming. Maybe it will be easier than I think once I get
> started. I'd like to revert one of my Win10 machines to 32 bit version so I
> can install pyenchant. Would it be best to uninstall everything and start
> over from scratch with Anaconda? Leo works fine on that machine now (except
> for no spell check).
>
> Rob
>
> On Monday, March 27, 2017 at 6:05:41 PM UTC-4, Edward K. Ream wrote:
>
>
>
> On Mon, Mar 27, 2017 at 10:06 AM, Largo84  wrote:
>
> I am trying to set up Leo for a colleague on his Windows PC and see that
> it's much more difficult than I recall, especially for non-programmers.
> Apparently, PyQt no longer provides Windows binary installation
> executables. Not really knowing what else to try, I opened the Python
> command shell and typed `pip3 install PyQt5` and got a syntax error.
>
>
> ​PyQt5 seems to be a moving target.  It's possible to screw up a
> previously working Qt5 installation, as I demonstrated several times today.
>
> My suggestion is to start with a Python 3 version of Anaconda.  I also
> recommend installing 32-bit versions, even on 64-bit systems.  That way you
> can install ​
>
> ​pyenchant.
>
> I have been successful in installing 4.1.1 on both Python 2 and 3. The
> installers are:
>
> - Anaconda2-4.1.1-Windows-x86.exe and​
> - Anaconda3-4.1.1-Windows-x86.exe
>
> According to my notes, Anaconda 4.2 was buggy: it does not handle
> QTreeWidget properly.  This was several months ago.  Perhaps things are
> better now.
>
> Once you get Anaconda installed and working, you should be able to use
> conda install. If you have multiple Anaconda installations, you will need
> to use the proper conda script, in either Anaconda2/scripts or
> Anaconda3/scripts.
>
>
> Sorry if the answer is obvious or easy, but for me it's neither. Any help
> or suggestions appreciated.
>
>
> ​Clearly, installing both python and pyqt (and especially pyqt5) is made
> more difficult by qt bugs. But in the long run, I think using Anaconda is
> the best bet.
>
> Having said that, Lewis's suggestions might be enough.
>
> 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 post to this group, send email to leo-editor@googlegroups.com.
> Visit this group at https://groups.google.com/group/leo-editor.
> For more options, visit https://groups.google.com/d/optout.
>
>
> --
> 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 post to this group, send email to leo-editor@googlegroups.com.
> Visit this group at https://groups.google.com/group/leo-editor.
> For more options, visit https://groups.google.com/d/optout.
>

-- 
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 post to this group, send email to leo-editor@googlegroups.com.
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Re: Article: "Why Don't We Have a General Purpose Tree Editor?"

[Jacob MacDonald]

Hehe, I immediately thought of Leo when I saw this article as well.
However, as an incompetent user of the software I can't offer any comment
on it. Looking forward to the use cases more senior community members can
imagine.

On Tue, Feb 7, 2017 at 6:40 PM Sr U  wrote:

> I am not certain how pertinent this is to the Leo community, and perhaps
> it was already linked and discussed here? In any case it recently surged on
> reddit and -- of course -- it caught my eye.
>
> link with comments from reddit:
> https://www.reddit.com/r/programming/comments/5sgqrc/why_dont_we_have_a_general_purpose_tree_editor/?ref=share_source=link
>
> orig pcmonk article:
> http://pcmonk.me/2014/04/01/why-dont-we-have-a-general-purpose-tree-editor.html
> ?
>
> "
> Why Don't We Have a General Purpose Tree Editor?
>
> Apr 1, 2014 • pcmonk
>
> We have excellent tools to create and edit text (vim, emacs, sublime,
> etc.). We have pretty good tools to create and edit tabular data (excel,
> other spreadsheet software). We even have pretty good tools to create and
> edit diagrams, pictures, and video.
>
> Why don’t we have good tools to create and edit trees and graphs?
>
> Trees and graphs (in the sense of connections between data) are the
> underpinnings of structured data. Virtually all data can be described in
> terms of vertices with (possibly directed, labeled, and/or weighted) edges
> between them. That may not be the best way of presenting it, but it works.
> For a variety of different types of data, it is indeed best to think in
> terms of the connections between the data.
>
> Most often this is manifested in trees because our data is often
> hierarchical in nature. Thus it makes sense to focus on trees.
> Additionally, many graph structures can be viewed best by analyzing them
> through the “cross-section” that a tree view provides. This is all fairly
> abstract, so I think before I go any further I should give an example.
> An Example: Constructing Proofs... (follow link above)
>
> --
> 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 post to this group, send email to leo-editor@googlegroups.com.
> Visit this group at https://groups.google.com/group/leo-editor.
> For more options, visit https://groups.google.com/d/optout.
>

-- 
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 post to this group, send email to leo-editor@googlegroups.com.
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Re: Leo's real weaknesses

[Jacob MacDonald]

As a fan of Fossil, I second the motion to perform the necessary
archaeology :-).

On Fri, Jan 13, 2017 at 12:42 PM Edward K. Ream  wrote:

> On Fri, Jan 13, 2017 at 2:22 PM, vitalije  wrote:
>
> Fossil OTOH, keeps all its data in just one file which is in fact just
> sqlite3 database file.
>
>
> ​Interesting.
>
>
> ​> ​
> If you are interested in those scripts I will try to find (or recreate)
> and share them.
>
> ​Of course I'm interested ;-)
>
> EKR
>
> --
> 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 post to this group, send email to leo-editor@googlegroups.com.
> Visit this group at https://groups.google.com/group/leo-editor.
> For more options, visit https://groups.google.com/d/optout.
>

-- 
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 post to this group, send email to leo-editor@googlegroups.com.
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.