[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Fix and align musicxml and input language "deutsch" (issue 547610043
From: |
dak |
Subject: |
Re: Fix and align musicxml and input language "deutsch" (issue 547610043 by address@hidden) |
Date: |
Sun, 09 Feb 2020 15:37:40 -0800 |
On 2020/02/09 22:27:55, lemzwerg wrote:
> > > What about providing an alias for the old name 'beh'
> > for backward compatibility?
> >
> > I'd rather not since it so glaringly wrong. [...]
>
> OK, but then we need either a NEWS entry or a convert-ly rule (or
both) IMHO.
git log -S '\<beh\>' --pickaxe-regex -- Documentation
does not show any documented German usage. Language-specific conversion
rules are pretty heavy-handed (basically, a file needs to contain
\language "deutsch" but no other \language to have them apply, and the
string "beh" is also a common element of words like "behalten" so one
needs to prune carefully). I am comparatively leery assuming that any
preexisting detected use that isn't a false positive in the first place
has worked as intended. But on the other hand, there was no other way
to enter heh, and it's been around like this for a long time. I'd
rather have this done proper in 2.20.
https://codereview.appspot.com/547610043/
- Fix and align musicxml and input language "deutsch" (issue 547610043 by address@hidden), lemzwerg, 2020/02/09
- Re: Fix and align musicxml and input language "deutsch" (issue 547610043 by address@hidden), dak, 2020/02/09
- Re: Fix and align musicxml and input language "deutsch" (issue 547610043 by address@hidden), lemzwerg, 2020/02/09
- Re: Fix and align musicxml and input language "deutsch" (issue 547610043 by address@hidden),
dak <=
- Re: Fix and align musicxml and input language "deutsch" (issue 547610043 by address@hidden), torsten . haemmerle, 2020/02/11
- Re: Fix and align musicxml and input language "deutsch" (issue 547610043 by address@hidden), torsten . haemmerle, 2020/02/11
- Re: Fix and align musicxml and input language "deutsch" (issue 547610043 by address@hidden), dak, 2020/02/11
- Re: Fix and align musicxml and input language "deutsch" (issue 547610043 by address@hidden), torsten . haemmerle, 2020/02/12
- Re: Fix and align musicxml and input language "deutsch" (issue 547610043 by address@hidden), torsten . haemmerle, 2020/02/12