[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [gap-discuss] TERMINAL 0.9.9
|
From: |
Matt Rice |
|
Subject: |
Re: [gap-discuss] TERMINAL 0.9.9 |
|
Date: |
Sun, 13 Aug 2017 04:06:20 -0700 |
On Sun, Aug 13, 2017 at 3:28 AM, Svetlana Tkachenko
<address@hidden> wrote:
> Hello,
>
> Riccardo Mottola wrote:
>> TERMINAL 0.9.9
>> A new version of Terminal from GAP is released
>> This version features Tabs contributed by Tim Sheridan.
>> Furthermore: [...]
>
> Thanks Riccardo and Tim and everyone else for this release. I've updated
> the wiki. I've updated my laptop from Debian stretch (stable) to buster
> (testing) and the new tabbed Terminal is now working.
>
> Is there a way to alter the window or tab title?
It should (or used to) honor the escape sequences here:
http://www.tldp.org/HOWTO/pdf/Xterm-Title.pdf
that at least worked with the window title, not sure how it would
behave with tabs.