[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: master d014a5e: Use fixed-pitch font for display-line-numbers
From: |
Yuri Khan |
Subject: |
Re: master d014a5e: Use fixed-pitch font for display-line-numbers |
Date: |
Fri, 14 Jul 2017 02:17:31 +0700 |
On Fri, Jul 14, 2017 at 2:02 AM, Eli Zaretskii <address@hidden> wrote:
>> Having three different typefaces for the buffer text, line numbers,
>> and menu bar, is just offensive.
>
> You forgot tooltips and the font used for the caption bar.
Usually(?) same typeface, possibly different color and/or size and/or weight.
- Re: master d014a5e: Use fixed-pitch font for display-line-numbers, (continued)
Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Yuri Khan, 2017/07/12
- Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Eli Zaretskii, 2017/07/12
- Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Yuri Khan, 2017/07/13
- Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Eli Zaretskii, 2017/07/13
- Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Yuri Khan, 2017/07/13
- Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Eli Zaretskii, 2017/07/13
- Re: master d014a5e: Use fixed-pitch font for display-line-numbers,
Yuri Khan <=
- Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Eli Zaretskii, 2017/07/13
- Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Alex, 2017/07/13
- Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Alex, 2017/07/14
- Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Eli Zaretskii, 2017/07/14
Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Eli Zaretskii, 2017/07/14
Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Alex, 2017/07/14
Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Eli Zaretskii, 2017/07/15
Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Stefan Monnier, 2017/07/13