Subject: mailing-list for TeXmacs Users
List archive
From : Frank <address@hidden>- To: TeXmacs <address@hidden>
- Subject: TeXmacs: more detailed options in the file chooser
- Date: Mon, 31 Jan 2022 18:38:41 +0100
Dear all,
I wonder whether it is possible to choose only among, say, files with extension *.tm,
in the file chooser of "Opening files". Oftentimes, when I input the file
name, the first prompted file is the PDF file (which is alphabetically prior to tm),
which seems annoying.
Best,
Frank
- TeXmacs: more detailed options in the file chooser, Frank, 01/31/2022
Archive powered by MHonArc 2.6.24.