[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#11068: 24.0.94; Face-remapped background does not extend to end of w
From: |
Eli Zaretskii |
Subject: |
bug#11068: 24.0.94; Face-remapped background does not extend to end of window |
Date: |
Sat, 24 Mar 2012 16:12:03 +0200 |
> Date: Sat, 24 Mar 2012 14:42:09 +0100
> From: martin rudalics <rudalics@gmx.at>
> CC: darthandrus@gmail.com, Stefan Monnier <monnier@iro.umontreal.ca>,
> Chong Yidong <cyd@stupidchicken.com>,
> 11068@debbugs.gnu.org
>
> There's just one detail missing: A number of people asked for
> highlighting _only_ the selected window and if a buffer appears in more
> than one window the present mechanism won't help in this regard. So
> couldn't we have the mechanism also respect a window parameter
> specifying some face as default window face with higher priority than
> the face specified for the buffer?
I don't know, I would need to see some details, like how will this
preference be visible to the display engine.
Please note that the changes I've shown only notice when the `default'
face is being remapped, they change nothing in how that default face
is computed. So I suspect we won't be able to use the same mechanism
to do what you want, because what you want changes the way the default
face is computed (IIUC).
- bug#11068: 24.0.94; Face-remapped background does not extend to end of window, Ivan Andrus, 2012/03/22
- bug#11069: 24.0.94; Face-remapped background does not extend to end of window, Glenn Morris, 2012/03/22
- bug#11068: 24.0.94; Face-remapped background does not extend to end of window, Eli Zaretskii, 2012/03/23
- bug#11068: 24.0.94; Face-remapped background does not extend to end of window, Ivan Andrus, 2012/03/23
- bug#11068: 24.0.94; Face-remapped background does not extend to end of window, Eli Zaretskii, 2012/03/24
- bug#11068: 24.0.94; Face-remapped background does not extend to end of window, martin rudalics, 2012/03/24
- bug#11068: 24.0.94; Face-remapped background does not extend to end of window,
Eli Zaretskii <=
- bug#11068: 24.0.94; Face-remapped background does not extend to end of window, martin rudalics, 2012/03/24
- bug#11068: 24.0.94; Face-remapped background does not extend to end of window, Eli Zaretskii, 2012/03/24
- bug#11068: 24.0.94; Face-remapped background does not extend to end of window, martin rudalics, 2012/03/25
- bug#11068: 24.0.94; Face-remapped background does not extend to end of window, Eli Zaretskii, 2012/03/25
- bug#11068: 24.0.94; Face-remapped background does not extend to end of window, martin rudalics, 2012/03/25
- bug#11068: 24.0.94; Face-remapped background does not extend to end of window, Stefan Monnier, 2012/03/25
- bug#11068: 24.0.94; Face-remapped background does not extend to end of window, martin rudalics, 2012/03/25
- bug#11068: 24.0.94; Face-remapped background does not extend to end of window, Eli Zaretskii, 2012/03/25
- bug#11068: 24.0.94; Face-remapped background does not extend to end of window, Eli Zaretskii, 2012/03/25
- bug#11068: 24.0.94; Face-remapped background does not extend to end of window, martin rudalics, 2012/03/26