First login?
Lost password?
 
 
 
mailing-list for TeXmacs Users

Text archives Help


Re: [TeXmacs] letter size preference


Chronological Thread 
  • 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 preference
when it has been selected?

Bob

It's stored in the <initial|...> part in the
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.

Archive powered by MHonArc 2.6.19.

Top of page