-
Grégoire Lecerf
Joris van der Hoeven
Joris van der Hoeven
mailing-list for TeXmacs Users
Text archives Help
From : "Philippe Joyez" <address@hidden>- To: address@hidden
- Subject: Re: [TeXmacs] Session code export
- Date: Thu, 23 Mar 2017 15:49:41 +0100
Hi Shelby,
If you need only the input lines of your session, what Karl suggested is
really the way to go. In the Tools menu, activate the Developers tools, and
then you can export all the sessions of the document to a file (it's not copy-
paste, sorry) using the menu entry "Developers->export sessions...". The only
thing is that this facility was made with scheme sessions in mind, and the
"export sessions..." is greyed out if there are no scheme session in the
document. Just create a blank scheme session!
Philippe
PS With a bit of hacking in scheme it should be possible do this with the
clipboard.
- [TeXmacs] Session code export, Shelby Hui-Jun Chen, 03/20/2017
- Re: [TeXmacs] Session code export, Karl Hegbloom, 03/20/2017
- Re: [TeXmacs] Session code export, Shelby Hui-Jun Chen, 03/21/2017
- Re: [TeXmacs] Session code export, Philippe Joyez, 03/23/2017
- Re: [TeXmacs] Session code export, Shelby Hui-Jun Chen, 03/21/2017
- Re: [TeXmacs] Session code export, Karl Hegbloom, 03/20/2017
Archive powered by MHonArc 2.6.19.
