[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#37774: 27.0.50; new :extend attribute broke visuals of all themes an
From: |
Dmitry Gutov |
Subject: |
bug#37774: 27.0.50; new :extend attribute broke visuals of all themes and other packages |
Date: |
Thu, 31 Oct 2019 19:29:44 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.9.0 |
On 31.10.2019 18:06, Jonas Bernoulli wrote:
Dmitry keeps urging me to comment here, so I am doing that even though
I don't feel like I understand this enough yet to not make a fool of
myself. Oh well, if you insist.
I make a fool of myself on a regular basis.
IMO going with a `noextend' attribute instead of `extend' would be that
alternative approach. Even if `extend' does not require any special
treatment and even if it does not require each and every theme to be
adjusted. Again, I don't know whether there is any special treatment
and whether themes have to be adjusted.
Personally, I'd go with a simple symbol property instead of face
attributes, so themes are unaffected either way. But we'd need good
reasons to change the design now.
(It should be clear by now that I am not so happy that Dmitry kept
urging me to comment here.)
I appreciate you doing that anyway.
- bug#37774: 27.0.50; new :extend attribute broke visuals of all themes and other packages, (continued)
bug#37774: 27.0.50; new :extend attribute broke visuals of all themes and other packages, Andrey Orst, 2019/10/16
bug#37774: 27.0.50; new :extend attribute broke visuals of all themes and other packages, Jonas Bernoulli, 2019/10/31