[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#38485: Customizing glyph widths
From: |
Clément Pit-Claudel |
Subject: |
bug#38485: Customizing glyph widths |
Date: |
Thu, 5 Dec 2019 15:53:00 -0500 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.2.1 |
On 2019-12-05 15:06, Eli Zaretskii wrote:
>> Cc: casouri@gmail.com, 38485@debbugs.gnu.org
>> From: Clément Pit-Claudel <cpitclaudel@gmail.com>
>> Date: Thu, 5 Dec 2019 14:50:54 -0500
>>
>>> Why is "Proof" treated differently from the other symbols? How would
>>> the user know which one is which?
>>
>> Sorry, I think I don't understand the question :/
>
> Which part?
>
> You have shown an example where some prettified symbols are treated
> differently than others, with respect to their width on display. I'm
> asking why the difference, and how will users know when to ask one
> behavior and when the other.
Thanks, it's clear now.
This is something I'd like to be able to customize for each symbol.
That is, I'd like to be able to say that "forall" should be prettified as "∀",
taking one character, and that "~+~" should be prettified as "⨤", taking three
characters.
In Elisp, I'd like to say that prettifications from nameless-mode shouldn't be
widened, nor lambda.
I expect which behavior to pick will be a matter of preference. What I do
currently in my Emacs is to narrow all characters to one character, by
recompiling various fonts to have the right width, but that isn't pleasant.
- bug#38485: Customizing glyph widths, (continued)
- bug#38485: Customizing glyph widths, Clément Pit-Claudel, 2019/12/04
- bug#38485: Customizing glyph widths, Eli Zaretskii, 2019/12/04
- bug#38485: Customizing glyph widths, Clément Pit-Claudel, 2019/12/04
- bug#38485: Customizing glyph widths, Eli Zaretskii, 2019/12/04
- bug#38485: Customizing glyph widths, Clément Pit-Claudel, 2019/12/04
- bug#38485: Customizing glyph widths, Eli Zaretskii, 2019/12/04
- bug#38485: Customizing glyph widths, Clément Pit-Claudel, 2019/12/05
- bug#38485: Customizing glyph widths, Eli Zaretskii, 2019/12/05
- bug#38485: Customizing glyph widths, Clément Pit-Claudel, 2019/12/05
- bug#38485: Customizing glyph widths, Eli Zaretskii, 2019/12/05
- bug#38485: Customizing glyph widths,
Clément Pit-Claudel <=
- bug#38485: "prettified" symbols, Richard Stallman, 2019/12/05
- bug#38485: "prettified" symbols, Eli Zaretskii, 2019/12/06
- bug#38485: "prettified" symbols, Richard Stallman, 2019/12/06
- bug#38485: "prettified" symbols, Clément Pit-Claudel, 2019/12/06
- bug#38485: Customizing glyph widths, Clément Pit-Claudel, 2019/12/04
- bug#38485: Customizing glyph widths, Eli Zaretskii, 2019/12/04
- bug#38485: Customizing glyph widths, Clément Pit-Claudel, 2019/12/05
bug#38485: Customizing glyph widths, Yuan Fu, 2019/12/04