[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] tab-line-alternate-colors
From: |
Adam Porter |
Subject: |
Re: [PATCH] tab-line-alternate-colors |
Date: |
Thu, 17 Dec 2020 21:55:26 -0600 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) |
Juri Linkov <juri@linkov.net> writes:
>>> Thanks, everything looks right. The only thing I'm unsure about is
>>> the default value. I don't know how important is to highlight the
>>> distinction between file and non-file buffers. But it's a matter of
>>> taste, so I can't argue against or for a specific default value.
>>
>> I don't know how important it is, either. :) But I think it's very
>> helpful for distinguishing buffers, especially in the smaller text of
>> the tab-line. It seems to me that it does no harm, and it seems more
>> useful than not, so it seems that it might as well be the default.
>
> The problem is that it's not self-evident to the users why some tabs
> are displayed in italic, and other tabs are not.
You're right, but I would say that many things in Emacs aren't
self-evident but are useful. :) Of course, I'll defer to your or the
other maintainers' judgment if this seems like a bad idea.
> But if no one opposed to this change, then etc/NEWS should explain
> the difference of tab styles for the new default value.
This new patch includes such a news entry.
Thanks for your guidance with this work.
0001-lisp-tab-line.el-New-options-faces-and-functions.patch
Description: patch
- Re: [PATCH] tab-line-alternate-colors, (continued)
- Re: [PATCH] tab-line-alternate-colors, Juri Linkov, 2020/12/14
- Re: [PATCH] tab-line-alternate-colors, Adam Porter, 2020/12/14
- Re: [PATCH] tab-line-alternate-colors, Juri Linkov, 2020/12/14
- Re: [PATCH] tab-line-alternate-colors, Adam Porter, 2020/12/15
- Re: [PATCH] tab-line-alternate-colors, Adam Porter, 2020/12/15
- Re: [PATCH] tab-line-alternate-colors, Juri Linkov, 2020/12/16
- Re: [PATCH] tab-line-alternate-colors, Adam Porter, 2020/12/16
- Re: [PATCH] tab-line-alternate-colors, Juri Linkov, 2020/12/16
- Re: [PATCH] tab-line-alternate-colors,
Adam Porter <=
- Re: [PATCH] tab-line-alternate-colors, Juri Linkov, 2020/12/23
- Re: [PATCH] tab-line-alternate-colors, Adam Porter, 2020/12/24