The ekr-change branch completes #1240

11 views

Skip to first unread message

Edward K. Ream

unread,

Dec 7, 2020, 7:40:37 AM12/7/20

to leo-editor

#1240 suggests raising an alert when an external editor changes a .leo file that Leo has opened.

If the user agrees to reloading the .leo file, Leo completely restarts itself. Imo, this is the simplest thing that could possibly work. I'll consider alternatives only if there is a real need.

Please report any problems. I'll merge ekr-change into devel the Friday, December 11.