[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Add a separate mode for .dir-locals.el
From: |
Eli Zaretskii |
Subject: |
Re: Add a separate mode for .dir-locals.el |
Date: |
Mon, 21 Oct 2019 09:24:12 +0300 |
> Cc: address@hidden, address@hidden, address@hidden,
> address@hidden
> From: Dmitry Gutov <address@hidden>
> Date: Sun, 20 Oct 2019 23:21:11 +0300
>
> So we have several features that, somewhere in the implementation, will
> need to make that check and act differently because of that. A new major
> mode will do that nicely.
And the current major mode mostly does TRT already, as you yourself
point out.
> Speaking of no-brainers, I don't see why you're fighting this one.
I don't like the idea, given the motivation. Am I allowed to have gut
feelings? Is the question "why you're fighting this one" only
applicable to me?
- Re: Add a separate mode for .dir-locals.el, (continued)
- Re: Add a separate mode for .dir-locals.el, Dmitry Gutov, 2019/10/21
- Re: Add a separate mode for .dir-locals.el, Eli Zaretskii, 2019/10/21
- Re: Add a separate mode for .dir-locals.el, Dmitry Gutov, 2019/10/21
- Re: Add a separate mode for .dir-locals.el, João Távora, 2019/10/21
- Re: Add a separate mode for .dir-locals.el, Eli Zaretskii, 2019/10/21
- Re: Add a separate mode for .dir-locals.el, Dmitry Gutov, 2019/10/19
- Re: Add a separate mode for .dir-locals.el, Eli Zaretskii, 2019/10/20
- Re: Add a separate mode for .dir-locals.el, Dmitry Gutov, 2019/10/20
- Re: Add a separate mode for .dir-locals.el,
Eli Zaretskii <=
- Re: Add a separate mode for .dir-locals.el, João Távora, 2019/10/21
- Re: Add a separate mode for .dir-locals.el, Eli Zaretskii, 2019/10/21
- Re: Add a separate mode for .dir-locals.el, João Távora, 2019/10/21
- Re: Add a separate mode for .dir-locals.el, Eli Zaretskii, 2019/10/21
- Re: Add a separate mode for .dir-locals.el, João Távora, 2019/10/21
- Re: Add a separate mode for .dir-locals.el, Eli Zaretskii, 2019/10/21
- Re: Add a separate mode for .dir-locals.el, João Távora, 2019/10/21
- Re: Add a separate mode for .dir-locals.el, Eli Zaretskii, 2019/10/21
- Re: Add a separate mode for .dir-locals.el, João Távora, 2019/10/21
- Re: Add a separate mode for .dir-locals.el, Dmitry Gutov, 2019/10/21