[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: \stopStaff \startStaff bug
From: |
Jean Abou Samra |
Subject: |
Re: \stopStaff \startStaff bug |
Date: |
Sat, 7 Jan 2023 19:16:32 +0100 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.6.0 |
Le 07/01/2023 à 18:43, David Kastrup a écrit :
Well, this was sort of saying that there may be no silver bullet, but we
may have to pick between chrome and aluminum ones.
Sometimes there is a solution that blends better into human expectations
than strict logic.
That's possible.
In my opinion, "\dt + warning if not used" is not a bad contender
due to its robustness and simplicity, but other tradeoffs are
thinkable between heuristics matching what users expect,
implementation and Scheme extension simplicity, and backwards
compatibility. That said, I have no idea how difficult something
like making overrides extend over graces would be.
OpenPGP_signature
Description: OpenPGP digital signature
- Re: \stopStaff \startStaff bug, (continued)
- Re: \stopStaff \startStaff bug, Jean Abou Samra, 2023/01/07
- Re: \stopStaff \startStaff bug, Kieren MacMillan, 2023/01/07
- Re: \stopStaff \startStaff bug, Jean Abou Samra, 2023/01/07
- Re: \stopStaff \startStaff bug, Kieren MacMillan, 2023/01/07
- Re: \stopStaff \startStaff bug, David Kastrup, 2023/01/07
- Re: \stopStaff \startStaff bug, Kieren MacMillan, 2023/01/07
- Re: \stopStaff \startStaff bug, David Kastrup, 2023/01/07
- Re: \stopStaff \startStaff bug, Jean Abou Samra, 2023/01/07
- Re: \stopStaff \startStaff bug, David Kastrup, 2023/01/07
- Re: \stopStaff \startStaff bug, Kieren MacMillan, 2023/01/07
- Re: \stopStaff \startStaff bug,
Jean Abou Samra <=
- Re: \stopStaff \startStaff bug, Jean Abou Samra, 2023/01/07
- Re: \stopStaff \startStaff bug, Kieren MacMillan, 2023/01/07
- Re: \stopStaff \startStaff bug, David Kastrup, 2023/01/07
- Re: \stopStaff \startStaff bug, Jean Abou Samra, 2023/01/07
- Re: \stopStaff \startStaff bug, Kieren MacMillan, 2023/01/07
- Re: \stopStaff \startStaff bug, Jean Abou Samra, 2023/01/07
- Re: \stopStaff \startStaff bug, Kieren MacMillan, 2023/01/07
- Re: \stopStaff \startStaff bug, Kieren MacMillan, 2023/01/07
- Re: \stopStaff \startStaff bug, David Kastrup, 2023/01/07
- Re: \stopStaff \startStaff bug, Kieren MacMillan, 2023/01/07