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: Tim Sheridan
Subject: Re: [gap-discuss] TERMINAL 0.9.9
Date: Sun, 13 Aug 2017 14:54:54 +0100

>> 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.

No problem. Very happy to see this in a release along with Riccardo's
other fixes. :-)

>> 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.

Yup, tab titles work as window titles used to (I tested it using the
escape sequence method). The window title should match the title for
the focused tab in the window.

Cheers,
Tim

On 13 August 2017 at 12:06, Matt Rice <address@hidden> wrote:
> 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.
>
> _______________________________________________
> Discuss-gnustep mailing list
> address@hidden
> https://lists.gnu.org/mailman/listinfo/discuss-gnustep



reply via email to

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