update, after trying with the ekr-change branch:
- making a change in the .leo file (outside of leo) now seems to be noted.
I still think the dialog text is confusing though. To my mind 'overwrite
it' smacks of writing something to disc, and the wording should be more
like ... reload into Leo?"
- just touching the file (ie changing the timestamp) externally doesn't
seem to be noticed by leo, at least not consistently.
- Leo also fails to restart sometimes after answering 'yes'
HTH
Jon
On Thursday, December 10, 2020 at 9:59:44 PM UTC jkn wrote:
> OK, I'll give that branch a try. I think I was confused because the
> comments on #1240 did not seem to indicate recent substantive work (ie. in
> a none-devel branch).
>
> Thanks, Jon
>
>
> On Thursday, December 10, 2020 at 9:40:09 PM UTC Edward K. Ream wrote:
>
>> On Thu, Dec 10, 2020 at 2:08 PM jkn <jkn...@nicorp.f9.co.uk> wrote:
>>
>>> Hi Edward
>>> your explanation of the difference between #1240 and #1771 does,
>>> thanks. I think my issue is unrelated to any recent insights re. git
>>> branches etc.
>>>
>>> I have tried the smallest example I could to illustrate what behaviour I
>>> see, and hope for. This is on:
>>>
>>> Leo 6.4-devel, devel branch, build 30ca7ea314
>>> 2020-12-05 09:26:07 -0600
>>> Python 3.6.9, PyQt version 5.9.5
>>> linux
>>>
>>
>> The ekr-change branch contains the work. See PR #1771
>> <https://github.com/leo-editor/leo-editor/pull/1771>. I'll merge the
>> branch into devel later today or tomorrow.
>>
>> 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 view this discussion on the web visit
https://groups.google.com/d/msgid/leo-editor/68d0bd0a-ae3a-4398-9818-545352ff88d5n%40googlegroups.com.
