[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] gtk: Add show_tabs=on|off command line option.
From: |
Gerd Hoffmann |
Subject: |
Re: [PATCH] gtk: Add show_tabs=on|off command line option. |
Date: |
Fri, 1 Jul 2022 12:00:55 +0200 |
Hi,
> But a bit more verbosity might be nice, too. What about “Display the tab
> bar for switching between the various graphical interfaces (e.g. VGA and
> virtual console character devices) by default”? (Note the imperative on
> “Display”, I think we generally use the imperative to document options.)
And 'tab bar' is more clear too I think.
take care,
Gerd