[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] tab-line: New tab-line-tab-face-modified face
From: |
Adam Porter |
Subject: |
Re: [PATCH] tab-line: New tab-line-tab-face-modified face |
Date: |
Fri, 24 Sep 2021 02:09:34 -0500 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) |
Juri Linkov <juri@linkov.net> writes:
>> Spending some more time using Emacs 28.0.50 with tab-bar and tab-line, I
>> found myself missing the ability to look at a tab-line tab and know
>> whether its buffer is modified (e.g. after using
>> `xref-query-replace-in-results' on some project buffers).
>>
>> This patch adds a face for modified, file-backed buffers. I chose to
>> inherit from the font-lock-doc-face, as it seems readable and intuitive
>> with the default theme. It seems to make the tab-line much more useful,
>> and more in line with what users will probably expect from having used
>> other editors' GUIs.
>
> Thanks, a modified buffer needs to be indicated somehow,
> but all other editors' GUIs display ‘*’ at the beginning
> of the modified buffer's name.
Some do, yes, but I've used some that change the appearance of the text
in the tab's name, e.g. making it bold, italic, etc. We already use
italic for non-file-backed buffers, and bold seems, well, too bold, IMHO
(and it may change the width of the tab with proportional fonts), so
changing the color seems reasonable.
I'm not opposed to optionally adding an asterisk to the name, but that
would change the width of the tab as soon as a user types into a buffer,
which doesn't seem like a good default to me.
- [PATCH] tab-line: New tab-line-tab-face-modified face, Adam Porter, 2021/09/24
- Re: [PATCH] tab-line: New tab-line-tab-face-modified face, Juri Linkov, 2021/09/24
- Re: [PATCH] tab-line: New tab-line-tab-face-modified face,
Adam Porter <=
- Re: [PATCH] tab-line: New tab-line-tab-face-modified face, Stefan Kangas, 2021/09/24
- Re: [PATCH] tab-line: New tab-line-tab-face-modified face, Juri Linkov, 2021/09/24
- Re: [PATCH] tab-line: New tab-line-tab-face-modified face, Adam Porter, 2021/09/24
- Re: [PATCH] tab-line: New tab-line-tab-face-modified face, Juri Linkov, 2021/09/25
- Re: [PATCH] tab-line: New tab-line-tab-face-modified face, Adam Porter, 2021/09/25