On Tue, 19 Dec 2023 10:56:42 -0500, Bryan Steele wrote: > There's two instances of __default_termid__ in xterm.man, I think this > will chang the second one to "100", is that correct?
Yes, the "vt" prefix is optional. - todd
On Tue, 19 Dec 2023 10:56:42 -0500, Bryan Steele wrote: > There's two instances of __default_termid__ in xterm.man, I think this > will chang the second one to "100", is that correct?
Yes, the "vt" prefix is optional. - todd