Subject: bug#46240: Sorting order of read-char-by-name

From: Eli Zaretskii <[email-masked]>
Date: Sat, 06 Feb 2021 22:01:01 +0200

> From: Juri Linkov <[email-masked]>
> Cc: [email-masked],  [email-masked]
> Date: Sat, 06 Feb 2021 21:35:18 +0200
> 
> +*** New user option 'read-char-by-name-sort'.

I suggest to name this read-char-by-name-sort-order.

> +*** New user option 'read-char-by-name-group'.

I suggest to name this read-char-by-name-group-by-block.

Thanks.