[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Ligatures
From: |
Eli Zaretskii |
Subject: |
Re: Ligatures |
Date: |
Tue, 19 May 2020 19:08:05 +0300 |
> From: Tassilo Horn <address@hidden>
> Cc: Clément Pit-Claudel <address@hidden>,
> address@hidden
> Date: Tue, 19 May 2020 17:36:44 +0200
>
> I use the attached self-written ligature.el (Eli, you've helped me with
> that some months back). That's all nice but sometimes I too have the
> problem that I want to edit the name of a "private" function/variable
> foo--do-stuff and cannot move point inside the double-dash because it is
> composed as one char. As a little cure, I disable ligatures in the
> minibuffer where I absolutely need to do completion stuff like
> foo-<TAB>-bar.
>
> Another case is where when inserting < automatically inserts >
> immediately giving a <> diamond where I cannot move into.
Yes, the user-level (and perhaps also some infrastructure level) of
support for ligatures is not yet ready. There's a TODO item for that,
patches are welcome.
> A special insert command will not help here because it is already
> inserted.
Then maybe we need both a command to insert a character without
ligation, and a command to disassemble a ligature at point.
- Re: Ligatures, (continued)
- Re: Ligatures, Eli Zaretskii, 2020/05/18
- Re: Ligatures, Clément Pit-Claudel, 2020/05/18
- Re: Ligatures, Eli Zaretskii, 2020/05/18
- Re: Ligatures, Clément Pit-Claudel, 2020/05/18
- Re: Ligatures, Eli Zaretskii, 2020/05/19
- Re: Ligatures, Clément Pit-Claudel, 2020/05/19
- Re: Ligatures, Eli Zaretskii, 2020/05/19
- Re: Ligatures, Clément Pit-Claudel, 2020/05/19
- Re: Ligatures, Eli Zaretskii, 2020/05/19
- Re: Ligatures, Tassilo Horn, 2020/05/19
- Re: Ligatures,
Eli Zaretskii <=
- Re: Ligatures, Stefan Monnier, 2020/05/19
- Re: Ligatures, Stefan Monnier, 2020/05/18
- Re: Ligatures, Clément Pit-Claudel, 2020/05/19
- Re: Ligatures, Clément Pit-Claudel, 2020/05/18
- Re: Ligatures, Pip Cet, 2020/05/19
- Re: Ligatures, Clément Pit-Claudel, 2020/05/19
- Re: Ligatures, Pip Cet, 2020/05/19
- Re: Ligatures, tomas, 2020/05/18
- Re: Ligatures, Eli Zaretskii, 2020/05/18
- Re: Ligatures, tomas, 2020/05/18