On Mon, Jul 4, 2022 at 8:57 AM András Simonyi <andras.simo...@gmail.com> wrote:
> It seems to me that "*" as a key is sophisticated enough that if we have to 
> make a decision
> about the default fontification then it is better to err on the side
> of supposing that a user using it knows what they are doing,

+1

Bruce

Reply via email to