On Sun, Aug 13, 2017 at 3:28 AM, Svetlana Tkachenko <[email protected]> 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 [email protected] https://lists.gnu.org/mailman/listinfo/discuss-gnustep
