Re: [code] RFC: Introduce ui.tabs_always setting.

From: Robert Gieseke <>
Date: Mon, 1 Feb 2016 17:44:05 +0100

Am 01.02.2016 um 17:36 schrieb Giovanni Salmeri <>:

>> Just to clarify any confusion: if the community prefers to always
>> have at least one tab showing *when `ui.tabs` is true*, then I'll
>> make it so.
> For what it's worth my opinion, I am against it: one tab alone carries
> no information, and not showing it (like now) reduces the clutter and
> increases the space available for the text. Just my 2 cents...
At least it carries the information that one ist using tabs mode.


You are subscribed to
To change subscription settings, send an e-mail to
To unsubscribe, send an e-mail to
Received on Mon 01 Feb 2016 - 11:44:05 EST

This archive was generated by hypermail 2.2.0 : Tue 02 Feb 2016 - 06:54:46 EST