Subject: mailing-list for TeXmacs Users
List archive
From : Henri Lesourd <address@hidden>- To: address@hidden
- Subject: Re: [TeXmacs] letter size preference
- Date: Mon, 28 Jan 2008 19:20:28 +0100
Robert Jerrard wrote:
Just curious, where does TeXmacs store the page size letter preferenceIt's stored in the <initial|...> part in the
when it has been selected?
Bob
end of the file (but you can't see this part
by means of the usual "Edit source tree" switch).
In practice, when TeXmacs is running, this value
is stored somewhere in the memory. There is probably
some function of the Scheme API which can be used
to read of write these kinds of values, but I dont
know which one.
- letter size preference, Robert Jerrard, 01/28/2008
- Re: [TeXmacs] letter size preference, Henri Lesourd, 01/28/2008
- Re: [TeXmacs] letter size preference, Robert Jerrard, 01/28/2008
- Re: [TeXmacs] letter size preference, Henri Lesourd, 01/28/2008
- Re: [TeXmacs] letter size preference, Robert Jerrard, 01/28/2008
- Re: [TeXmacs] letter size preference, Henri Lesourd, 01/28/2008
- Re: [TeXmacs] letter size preference, Robert Jerrard, 01/28/2008
- Re: [TeXmacs] letter size preference, Henri Lesourd, 01/28/2008
- Re: [TeXmacs] letter size preference, Robert Jerrard, 01/28/2008
- Re: [TeXmacs] letter size preference, Robert Jerrard, 01/28/2008
- Re: [TeXmacs] letter size preference, Henri Lesourd, 01/28/2008
- Re: [TeXmacs] letter size preference, Robert Jerrard, 01/28/2008
- Re: [TeXmacs] letter size preference, Henri Lesourd, 01/28/2008
- Re: [TeXmacs] letter size preference, Robert Jerrard, 01/28/2008
- Re: [TeXmacs] letter size preference, Henri Lesourd, 01/28/2008
Archive powered by MHonArc 2.6.19.