[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Unicode confusables and reordering characters considered harmful
From: |
Yuri Khan |
Subject: |
Re: Unicode confusables and reordering characters considered harmful |
Date: |
Thu, 4 Nov 2021 02:41:12 +0700 |
On Thu, 4 Nov 2021 at 02:33, Stefan Monnier <monnier@iro.umontreal.ca> wrote:
>
> > + '(("\N{LEFT-TO-RIGHT EMBEDDING}\\|\N{RIGHT-TO-LEFT EMBEDDING}\\|\
> > +\N{LEFT-TO-RIGHT OVERRIDE}\\|\N{RIGHT-TO-LEFT OVERRIDE}\\|\
> > +\N{LEFT-TO-RIGHT ISOLATE}\\|\N{RIGHT-TO-LEFT ISOLATE}\\|\
> > +\N{FIRST STRONG ISOLATE}\\|\N{POP DIRECTIONAL FORMATTING}\\|\
> > +\N{POP DIRECTIONAL ISOLATE}" . (0 'font-lock-warning-face t)))))
>
> A [...] would be a lot more efficient than this "...\\|...\\|...\\|...".
An (rx (any ?… ?… ?… …)) would be more wrappable/indentable and almost
as performant as a […], though.
- Re: Unicode confusables and reordering characters considered harmful, (continued)
- Re: Unicode confusables and reordering characters considered harmful, Andreas Schwab, 2021/11/03
- Re: Unicode confusables and reordering characters considered harmful, Stefan Monnier, 2021/11/03
- Re: Unicode confusables and reordering characters considered harmful, Yuri Khan, 2021/11/03
- Re: Unicode confusables and reordering characters considered harmful, Stefan Monnier, 2021/11/03
- Re: Unicode confusables and reordering characters considered harmful, Gregory Heytings, 2021/11/03
- Re: Unicode confusables and reordering characters considered harmful, Stefan Monnier, 2021/11/03
- Re: Unicode confusables and reordering characters considered harmful,
Yuri Khan <=
- Re: Unicode confusables and reordering characters considered harmful, Gregory Heytings, 2021/11/03
- Re: Unicode confusables and reordering characters considered harmful, Gregory Heytings, 2021/11/03
- Re: Unicode confusables and reordering characters considered harmful, Gregory Heytings, 2021/11/04
- Re: Unicode confusables and reordering characters considered harmful, Eli Zaretskii, 2021/11/03
- Re: Unicode confusables and reordering characters considered harmful, Eli Zaretskii, 2021/11/03
- Re: Unicode confusables and reordering characters considered harmful, Andreas Schwab, 2021/11/03
- Re: Unicode confusables and reordering characters considered harmful, Eli Zaretskii, 2021/11/03
- Re: Unicode confusables and reordering characters considered harmful, Eli Zaretskii, 2021/11/03
- Re: Unicode confusables and reordering characters considered harmful, Eli Zaretskii, 2021/11/03
- Re: Unicode confusables and reordering characters considered harmful, Stefan Kangas, 2021/11/02