On Friday, June 21, 2019 at 2:51:37 PM UTC+1, Edward K. Ream wrote:
>
> Recent discussions about vim and org mode highlight the importance of
> people who use other editors.
>
> Imo, one of Leo's most important ongoing tasks is to support easy
> interactions between Leo and other editors.
>
> As I see it, the role of a champion is as follows:
>
> 1. To point out where Leo falls short with regard to some other editor.
>
> 2. To do *easy *fixes/experiments regarding proposed improvements.
>
> For example, Terry's recent work with using Leo's bridge inside vim.
>
> *Candidates*
>
> Obvious candidates are Terry and Kent for vim, and gar for emacs org mode.
>
> Any volunteers? I promise, this will not be an odious assignment.
>
> Edward
>
I should volunteer for this, for the somewhat rare CRiSP editor I use and
have occasionally banged on about here.
To recap: CRiSP is a multiplatform editor with its own C-like macro
language and many nice features.
Its default keybindings are like the old BRIEF editor, and these are pretty
hardwired to my brain. This is one
reason I stick to CRiSP as my 'main' editor. It's not just a matter of
different key-bindings, there are some features which
need a bit of coding (eg. wrt. 'lossage' to get right, and I have not made
a concerted effort with this.
CRiSP has a 'server' mode which can be used to open up filies within it;
this would be a good area where having a bridge
between the two programs would be useful.
So, I'll volunteer for at least *something* along these lines, if that
helps...
Cheers
Jon N
--
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 post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/leo-editor.
To view this discussion on the web visit
https://groups.google.com/d/msgid/leo-editor/c71dff0b-e926-4327-be34-bc32fc3f8895%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
