[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: PL support
From: |
Yuan Fu |
Subject: |
Re: PL support |
Date: |
Sat, 9 May 2020 13:58:37 -0400 |
> On May 9, 2020, at 1:46 PM, Eli Zaretskii <address@hidden> wrote:
>
>> From: João Távora <address@hidden>
>> Date: Sat, 9 May 2020 18:36:53 +0100
>> Cc: Dmitry Gutov <address@hidden>, Stefan Monnier <address@hidden>,
>> emacs-devel <address@hidden>
>>
>> OK, sounds reasonable. In that case I put it to you that the best
>> way to make it happen is to import eglot.el into the core, help me
>> convince the maintainers of the major modes to add a few lines
>> to their code, and enhance eglot.el to automatically download
>> server programs.
>>
>> We _can_ do this without importing eglot.el into the core, by
>> adding to hooks and having and/or having a few defvars and
>> maybe cl-defgeneric. But adding it to the core is a simpler
>> way, IMO. eglot.el is a single file library, by the way.
>
> You are probably right. But Eglot is in ELPA for some time, and I
> don't yet see a campaign to bring it into core; I do see some opinions
> to the contrary. So I think it will be much easier to convince more
> people if we had this working. I cannot be sure, of course, and you
> will do the work, so it is still your call.
>
> Or maybe we will have a flood of messages tomorrow saying they'd like
> to have Eglot in core ;-)
>
What advantage would splitting and “diluting” eglot into Emacs give tho? I
think eglot works pretty well already, one just installs eglot and a server and
everything works.
Yuan
- Re: PL support (was: Drop the Copyright Assignment requirement for Emacs), (continued)
- Re: PL support, Dmitry Gutov, 2020/05/09
- Re: PL support, Eli Zaretskii, 2020/05/09
- Re: PL support, João Távora, 2020/05/09
- Re: PL support, Eli Zaretskii, 2020/05/09
- Re: PL support, João Távora, 2020/05/09
- Re: PL support, Eli Zaretskii, 2020/05/09
- Re: PL support, João Távora, 2020/05/09
- Re: PL support, Eli Zaretskii, 2020/05/09
- Re: PL support,
Yuan Fu <=
- Re: PL support, João Távora, 2020/05/09
- Re: PL support, Dmitry Gutov, 2020/05/09
- Re: PL support, João Távora, 2020/05/09
- Re: PL support, Dmitry Gutov, 2020/05/09
- Re: PL support, João Távora, 2020/05/09
- Re: PL support, Eli Zaretskii, 2020/05/09
- Re: PL support, Clément Pit-Claudel, 2020/05/09
- Re: PL support, João Távora, 2020/05/09
- Re: PL support, Dmitry Gutov, 2020/05/09
- Re: PL support, Clément Pit-Claudel, 2020/05/09