On Thu, Oct 22, 2020 at 10:25 AM Félix <[email protected]> wrote:

Great News! :)
>
> This is great for leoInteg as it will not be required to have a gitted
> version of Leo switched to the 'devel' branch in order to work properly!
>

Glad this helps you.

Thanks again!
>

You're welcome :-)

LeoInteg Update: almost done fixing 'cursor selections', going to fix/redo
> body-pane pretty soon.  :)
>

Super. One of the projects I am considering for my sabbatical is doing a
"Hello World" vs code plugin. Does this seem worthwhile to you?  Would you
recommend anything else?

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 [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/CAMF8tS3w2WZvYv_%3Dy3OxNkmgZo_CMPd9PWjYATHRwhjeP3p4uw%40mail.gmail.com.

Reply via email to