Excellent - thank you!
On Monday, March 12, 2018 at 10:57:25 AM UTC-4, Edward K. Ream wrote:
> On Monday, March 12, 2018 at 9:54:19 AM UTC-5, k-hen wrote:
>> This is great :-D A really nice simple enhancement (I think) would be if
>> we could just apply/reload the *current* file as well rather than having to
>> save, re-select the file, etc. Or maybe there's a scripting trick that
>> could do this?
> There's *always* a scripting trick ;-) See this reply
> <https://groups.google.com/d/msg/leo-editor/JyyuOscgmow/hXJz2ZfyAQAJ> in
> another thread, about two minutes old.
You received this message because you are subscribed to the Google Groups
To unsubscribe from this group and stop receiving emails from it, send an email
To post to this group, send email to email@example.com.
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.