[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: |
Sat, 08 Jan 2022 21:14:05 +0200 |
> From: Juri Linkov <juri@linkov.net>
> Cc: stefankangas@gmail.com, luangruo@yahoo.com, jporterbugs@gmail.com,
> emacs-devel@gnu.org
> Date: Sat, 08 Jan 2022 21:09:00 +0200
>
> > What version of Firefox do you have there? In version 95.0.2, the
> > latest AFAIK, the current tab has a distinct appearance and is very
> > easy to spot. Perhaps you customized the Firefox display to use
> > non-default colors and effects?
>
> 95.0.1 without customization, maybe this is fixed in 95.0.2.
Well, you said "the latest", so I made a point of upgrading to the
latest one.
> >>> . they are sensitive to mouse-over
> >>
> >> The tab-line tabs are sensitive to mouse-over as well.
>
> > I was talking about the tab bar.
>
> The tab bar could have the same mouse-over sensitivity as the tab line.
Of course, it could. It could do all the other things, too. I hope
it will.
- Re: Making `x-underline-at-descent-line' a face attribute, (continued)
- 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/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 <=
- 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, 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