gap-discuss
[Top][All Lists]
Advanced

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

Re: [gap-discuss] TERMINAL 0.9.9


From: Svetlana Tkachenko
Subject: Re: [gap-discuss] TERMINAL 0.9.9
Date: Sun, 13 Aug 2017 20:28:53 +1000

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?

Sveta




reply via email to

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