The extension of the export as LaTeX from the web

Michel Iroir shared this question 3 years ago
Needs Answer

Hi, thanks to have allowed, since few days, to export the graphics as a LaTeX file also from the web version.

Even if we can change the extension when the text file is created, the default extension is .txt and not .tex.

It's really not a big problem but if you could, without problem, provide the .tex extension by default, it would be the best.

© 2020 International GeoGebra Institute