hi for the export options, i have the sentiment that the following little trick could help users : a pref pane where you can choose several formats, pdf, html, latex, ... associated to a "complete save" (with a shortcut please) option in the "file" menu the "complete save" would save (or update) the tm file and save (or update) in the same folder with the same name the pdf, html, latex versions of the document Vincent
> Le 18 mai 2020 à 03:45, yx1107 <yx1...@foxmail.com> a écrit : > > Hi all, > > Hope this email finds you well. My name is Xiang Yue, the selected candidate > of Google Summer of Code(GSOC) 2020 in GNU TeXmacs track, and the attachment > is my initial proposal for TeXmacs converter extension. > I am about to start my work in one or two weeks. During this period, I will > modify my proposal and make a final one with more specific ideas. > Thank you and please take care. > > Best Regards, > Xiang > <Proposal for GSoC 2020 - Improved TeXmacs Converters > (1).pdf>_______________________________________________ > Texmacs-dev mailing list > Texmacs-dev@gnu.org <mailto:Texmacs-dev@gnu.org> > https://lists.gnu.org/mailman/listinfo/texmacs-dev > <https://lists.gnu.org/mailman/listinfo/texmacs-dev>
_______________________________________________ Texmacs-dev mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev