[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Some minor suggestions to Tab Bar

From: Ergus
Subject: Re: Some minor suggestions to Tab Bar
Date: Wed, 17 Mar 2021 23:31:42 +0100

Hi Juri:

Just a question. I have seen the new groups in tabs-bar, but I sadly
don't understand what a group means and how to use this feature as a
final user.

I evaluated:

(setq tab-bar-format

And just a + appears in the tab-bar. So maybe you could explain some
basic steps about how to use the groups?


On Wed, Mar 17, 2021 at 07:46:30PM +0200, Juri Linkov wrote:
2. Add new faces for group tabs. The idea is to differentiate these 2
  2.1. Tabs from the current group X tabs from other groups
  2.2. Regular tabs X collapsed group tabs

It's not possible to know which tabs belongs to the current group or
which tabs represent another group, since all inactive tabs use the same
face 'tab-bar-tab-inactive'. I did a slight modification to
'tab-bar-tab-name-format-default' and 'tab-bar-tab-group-format-default'
to add two new faces:

In the example above (please desconsider the styles I used), we can see
  * [1], [2] and [8] are tabs that do not belong to any group (ungrouped)
  * [3] is a collapsed group tab of a group named "group1", where tab
    [4] belongs to the same group and is hidden
  * [5] and [7] are tabs that belongs to the current group (same group)
  * [6] is the current active tab

As a first stab at tab faces, now there are 3 new faces:

- tab-bar-tab-group-current
- tab-bar-tab-group-inactive
- tab-bar-tab-ungrouped

and two new options:

- tab-bar-tab-face-function
- tab-bar-tab-group-face-function

The latter can be used for color-coding, e.g. by assigning a distinctive
color to each group of tabs.

I'm striving to make only minimal changes in the core library
and to provide enough knobs for easy customization.

Please try this to see if there is still anything missing.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]