[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [External] : Re: master 513c5d827d: Use `format-prompt' in
From: |
Robert Pluim |
Subject: |
Re: [External] : Re: master 513c5d827d: Use `format-prompt' in |
Date: |
Mon, 05 Sep 2022 10:26:28 +0200 |
>>>>> On Mon, 05 Sep 2022 00:04:46 -0400, Richard Stallman <rms@gnu.org> said:
>> > We've transformed virtually all prompts like this to use
>> > `format-prompt', so it's just something people that read
>> > code like this have to get used to.
>> Wow. The logic of that...
Richard> There is no rational argument there, only emotion.
Richard> To contribute to useful discussion of what to do,
Richard> what we need are rational arguments.
Like Lars said: using `format-prompt' allows people to adjust the
appearance of prompts according to their preferences. People who write
code for emacs need to know what its various functions do, and the job
`format-prompt' does is not particularly hard to remember.
Robert
--
- 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, 2022/09/03
- 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 <=
- 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
- Re: [External] : Re: master 513c5d827d: Use `format-prompt' in, Gregory Heytings, 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, Richard Stallman, 2022/09/06
- Re: [External] : Re: master 513c5d827d: Use `format-prompt' in, Eli Zaretskii, 2022/09/06
- Re: [External] : Re: master 513c5d827d: Use `format-prompt' in, Richard Stallman, 2022/09/06