On Fri, 23 May 2014 08:12:03 -0500
Kent Tenney wrote:
> I've also been seeing this with real files, if changed outside
> Leo, refresh from disk fails, the .py file has it's contents
> duplicated.
I *think* this is a known issue, certainly needs fixing.
https://github.com/leo-editor/leo-editor/i
I've also been seeing this with real files, if changed outside
Leo, refresh from disk fails, the .py file has it's contents duplicated.
A minimal @auto file:
@auto z.py
pass
@others
foo
class foo:
@others
def __init__():
pass
- save Leo f
