[Top][All Lists]

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

Re: TERMINAL 0.9.9

From: Matt Rice
Subject: Re: 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:

that at least worked with the window title, not sure how it would
behave with tabs.

reply via email to

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