[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Add an option to not reduce vocabulary of the Japanese
From: |
Eli Zaretskii |
Subject: |
Re: [PATCH] Add an option to not reduce vocabulary of the Japanese |
Date: |
Mon, 06 Jun 2022 17:17:33 +0300 |
> From: Lars Ingebrigtsen <larsi@gnus.org>
> Cc: handa <handa@gnu.org>, eliz@gnu.org, emacs-devel@gnu.org
> Date: Mon, 06 Jun 2022 16:14:01 +0200
>
> Taiju HIGASHI <higashi@taiju.info> writes:
>
> > I have also received a suggestion to make it a run-time option instead
> > of a build-time option, is it possible to get some opinion on that?
> >
> > Because I cannot see how many users would want a dictionary with a reduced
> > vocabulary.
>
> I think if everybody agrees that nobody would want a reduced dictionary,
> then we should just stop reducing the dictionary -- no
> configuration/run-time options necessary.
I think a configuration option, by default off, is a good way of
removing the reduction, but still leaving someone who may want that a
"fire escape". The cost in complexity is quite small in this case.
- Re: [PATCH] Add an option to not reduce vocabulary of the Japanese, (continued)
- Re: [PATCH] Add an option to not reduce vocabulary of the Japanese, Eli Zaretskii, 2022/06/04
- Re: [PATCH] Add an option to not reduce vocabulary of the Japanese, Taiju HIGASHI, 2022/06/04
- Re: [PATCH] Add an option to not reduce vocabulary of the Japanese, Eli Zaretskii, 2022/06/04
- Re: [PATCH] Add an option to not reduce vocabulary of the Japanese, Taiju HIGASHI, 2022/06/04
- Re: [PATCH] Add an option to not reduce vocabulary of the Japanese, Eli Zaretskii, 2022/06/04
- Re: [PATCH] Add an option to not reduce vocabulary of the Japanese, handa, 2022/06/05
- Re: [PATCH] Add an option to not reduce vocabulary of the Japanese, Taiju HIGASHI, 2022/06/05
- Re: [PATCH] Add an option to not reduce vocabulary of the Japanese, handa, 2022/06/06
- Re: [PATCH] Add an option to not reduce vocabulary of the Japanese, Taiju HIGASHI, 2022/06/06
- Re: [PATCH] Add an option to not reduce vocabulary of the Japanese, Lars Ingebrigtsen, 2022/06/06
- Re: [PATCH] Add an option to not reduce vocabulary of the Japanese,
Eli Zaretskii <=
- Re: [PATCH] Add an option to not reduce vocabulary of the Japanese, Taiju HIGASHI, 2022/06/06
- Re: [PATCH] Add an option to not reduce vocabulary of the Japanese, Eli Zaretskii, 2022/06/06
- Re: [PATCH] Add an option to not reduce vocabulary of the Japanese, Taiju HIGASHI, 2022/06/06
- Re: [PATCH] Add an option to not reduce vocabulary of the Japanese, Taiju HIGASHI, 2022/06/06
- Re: [PATCH] Add an option to not reduce vocabulary of the Japanese, Taiju HIGASHI, 2022/06/06
- Re: [PATCH] Add an option to not reduce vocabulary of the Japanese, Eli Zaretskii, 2022/06/07
- Re: [PATCH] Add an option to not reduce vocabulary of the Japanese, Lars Ingebrigtsen, 2022/06/07
- Re: [PATCH] Add an option to not reduce vocabulary of the Japanese, Taiju HIGASHI, 2022/06/07
- Re: [PATCH] Add an option to not reduce vocabulary of the Japanese, Lars Ingebrigtsen, 2022/06/07
- Re: [PATCH] Add an option to not reduce vocabulary of the Japanese, Eli Zaretskii, 2022/06/07