[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Making `x-underline-at-descent-line' a face attribute
From: |
martin rudalics |
Subject: |
Re: Making `x-underline-at-descent-line' a face attribute |
Date: |
Fri, 7 Jan 2022 14:32:32 +0100 |
> . they have the same width, which changes as tabs are added/removed
With one additional, quite useful, twist: The width of the tabs does not
change immediately when you click on an "x" to remove one of them so you
don't have to move the mouse to remove two or more consecutive tabs in a
row.
martin
- Re: Making `x-underline-at-descent-line' a face attribute, (continued)
- Re: Making `x-underline-at-descent-line' a face attribute, Juri Linkov, 2022/01/06
- Re: Making `x-underline-at-descent-line' a face attribute, Po Lu, 2022/01/06
- Re: Making `x-underline-at-descent-line' a face attribute, Eli Zaretskii, 2022/01/07
- Re: Making `x-underline-at-descent-line' a face attribute, Juri Linkov, 2022/01/07
- Re: Making `x-underline-at-descent-line' a face attribute, Stefan Kangas, 2022/01/07
- Re: Making `x-underline-at-descent-line' a face attribute, Juri Linkov, 2022/01/08
- Re: Making `x-underline-at-descent-line' a face attribute, Eli Zaretskii, 2022/01/08
- Re: Making `x-underline-at-descent-line' a face attribute, Juri Linkov, 2022/01/08
- Re: Making `x-underline-at-descent-line' a face attribute, Eli Zaretskii, 2022/01/08
- Re: Making `x-underline-at-descent-line' a face attribute, Eli Zaretskii, 2022/01/07
- Re: Making `x-underline-at-descent-line' a face attribute,
martin rudalics <=
- Re: Making `x-underline-at-descent-line' a face attribute, Juri Linkov, 2022/01/08
- Re: Making `x-underline-at-descent-line' a face attribute, Eli Zaretskii, 2022/01/08
- Re: Making `x-underline-at-descent-line' a face attribute, Jim Porter, 2022/01/06
- Re: Making `x-underline-at-descent-line' a face attribute, Eli Zaretskii, 2022/01/07
Re: Making `x-underline-at-descent-line' a face attribute, Eli Zaretskii, 2022/01/06