Subject: mailing-list for TeXmacs Users
List archive
From : "Amir Zia" <address@hidden>- To: address@hidden
- Subject: [TeXmacs] What does the string "no name [#]" signify on the Window title ?
- Date: Thu, 20 Jun 2019 07:50:31 +0200
- Importance: normal
- Sensitivity: Normal
what does this string represent ...and how to change it to "no name [1]" ?
- [TeXmacs] What does the string "no name [#]" signify on the Window title ?, Amir Zia, 06/20/2019
- Re: [TeXmacs] What does the string "no name [#]" signify on the Window title ?, Darcy Shen, 06/21/2019
Archive powered by MHonArc 2.6.19.