[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: master 513c5d827d: Use `format-prompt' in
From: |
Eli Zaretskii |
Subject: |
Re: master 513c5d827d: Use `format-prompt' in |
Date: |
Sat, 03 Sep 2022 12:38:24 +0300 |
> From: Lars Ingebrigtsen <larsi@gnus.org>
> Cc: Robert Pluim <rpluim@gmail.com>, emacs-devel@gnu.org
> Date: Sat, 03 Sep 2022 11:22:39 +0200
>
> Eli Zaretskii <eliz@gnu.org> writes:
>
> > Thanks, but is this supposed to be an improvement? Before the change,
> > I knew what the text meant and what was the "all" part about; after
> > the change, I don't. It's a net loss, since the code is now less
> > readable, and in fact without either running the code or looking at
> > what format-prompt does, one cannot understand what the prompt will
> > say in Real Life.
>
> `format-prompt' isn't about making the code more readable, but allowing
> the users to customise how prompts look. So I don't understand the
> objection -- it's a good change.
I explained why I think it's less than good.
There are two contradictory aspirations here that clash. You seem to
be disregarding one of them.
- Re: master 513c5d827d: Use `format-prompt' in, Eli Zaretskii, 2022/09/03
- Re: master 513c5d827d: Use `format-prompt' in, Lars Ingebrigtsen, 2022/09/03
- Re: master 513c5d827d: Use `format-prompt' in,
Eli Zaretskii <=
- Re: master 513c5d827d: Use `format-prompt' in, Lars Ingebrigtsen, 2022/09/03
- Re: master 513c5d827d: Use `format-prompt' in, Eli Zaretskii, 2022/09/03
- RE: [External] : Re: master 513c5d827d: Use `format-prompt' in, Drew Adams, 2022/09/03
- Re: [External] : Re: master 513c5d827d: Use `format-prompt' in, Richard Stallman, 2022/09/05
- Re: [External] : Re: master 513c5d827d: Use `format-prompt' in, Robert Pluim, 2022/09/05
- Re: [External] : Re: master 513c5d827d: Use `format-prompt' in, Eli Zaretskii, 2022/09/05
- Re: [External] : Re: master 513c5d827d: Use `format-prompt' in, Robert Pluim, 2022/09/05
- Re: [External] : Re: master 513c5d827d: Use `format-prompt' in, Eli Zaretskii, 2022/09/05
- Re: [External] : Re: master 513c5d827d: Use `format-prompt' in, Robert Pluim, 2022/09/05
- Re: [External] : Re: master 513c5d827d: Use `format-prompt' in, Eli Zaretskii, 2022/09/05