On Tue, Aug 8, 2017 at 2:30 PM, vitalije <vitali...@gmail.com> wrote:

If we want Leo to be more often used as preferable IDE for other projects,
> I believe one of the crucial problems we have to properly solve is this
> one.

​I agree.  When I awoke I saw the solution. See #540: Create an
update-this-leo-file command.


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.

Reply via email to