[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Making `x-underline-at-descent-line' a face attribute
From: |
Eli Zaretskii |
Subject: |
Re: Making `x-underline-at-descent-line' a face attribute |
Date: |
Fri, 07 Jan 2022 15:14:07 +0200 |
> From: Juri Linkov <juri@linkov.net>
> Cc: Eli Zaretskii <eliz@gnu.org>, Jim Porter <jporterbugs@gmail.com>,
> emacs-devel@gnu.org
> Date: Fri, 07 Jan 2022 10:40:29 +0200
>
> Actually, in the last version of Mozilla Firefox
> tabs looks exactly like in Emacs.
I don't see how you can say that. The tabs in the latest Firefox are
quite different from ours:
. they have round corners
. they have the same width, which changes as tabs are added/removed
. they display over-long labels nicely
. they are sensitive to mouse-over
. they display small icons that hint on the tab's contents
Bottom line, they LOOK BETTER!
- Re: Making `x-underline-at-descent-line' a face attribute, (continued)
- Re: Making `x-underline-at-descent-line' a face attribute, Eli Zaretskii, 2022/01/06
- 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 <=
- Re: Making `x-underline-at-descent-line' a face attribute, martin rudalics, 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, 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