[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Add a separate mode for .dir-locals.el
From: |
Clément Pit-Claudel |
Subject: |
Re: Add a separate mode for .dir-locals.el |
Date: |
Thu, 17 Oct 2019 11:47:56 -0400 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.9.0 |
On 2019-10-17 11:41, João Távora wrote:
> Stefan Monnier <address@hidden> writes:
>
>>> BTW, and on a tangent, a derived dir-locals-mode isn't the
>>> bestoption.
>>
>> I think it is, and you seem to agree below:
>
> I was unclear. I wrote "derived dir-locals-mode", meaning the trivial
> derivation from e-l-m proposed by someone (Lars? Clément?) isn't the
> best option.
>>> A better option would be to have a base `lisp-prog-mode` and hen
>>> derive emacs-lisp-mode from it.
I agree in principle; I did it that way to ensure that nothing would break.
- Re: Add a separate mode for .dir-locals.el, (continued)
- Re: Add a separate mode for .dir-locals.el, João Távora, 2019/10/17
- Re: Add a separate mode for .dir-locals.el, Eli Zaretskii, 2019/10/17
- Re: Add a separate mode for .dir-locals.el, Clément Pit-Claudel, 2019/10/17
- Re: Add a separate mode for .dir-locals.el, Yuri Khan, 2019/10/17
- Re: Add a separate mode for .dir-locals.el, Clément Pit-Claudel, 2019/10/17
- Re: Add a separate mode for .dir-locals.el, Amin Bandali, 2019/10/17
- Re: Add a separate mode for .dir-locals.el, João Távora, 2019/10/17
- Re: Add a separate mode for .dir-locals.el, Dmitry Gutov, 2019/10/17
- Re: Add a separate mode for .dir-locals.el, Stefan Monnier, 2019/10/17
- Re: Add a separate mode for .dir-locals.el, João Távora, 2019/10/17
- Re: Add a separate mode for .dir-locals.el,
Clément Pit-Claudel <=
- Re: Add a separate mode for .dir-locals.el, Stefan Monnier, 2019/10/17
- Re: Add a separate mode for .dir-locals.el, João Távora, 2019/10/17
- Re: Add a separate mode for .dir-locals.el, Eli Zaretskii, 2019/10/17
- Re: Add a separate mode for .dir-locals.el, João Távora, 2019/10/17
- Re: Add a separate mode for .dir-locals.el, Eli Zaretskii, 2019/10/17
- Re: Add a separate mode for .dir-locals.el, João Távora, 2019/10/17
- Re: Add a separate mode for .dir-locals.el, Eli Zaretskii, 2019/10/17
- Re: Add a separate mode for .dir-locals.el, João Távora, 2019/10/17
- Re: Add a separate mode for .dir-locals.el, Eli Zaretskii, 2019/10/17
- Re: Add a separate mode for .dir-locals.el, Stefan Monnier, 2019/10/17