mailing-list for TeXmacs Users

["K B" <address@hidden>]

Hey Joris,

Thanks for the response. I actually tried that too, and it almost
works, except for one quirk. I like to create files with "texmacs
newfile.tm &" rather than just creating a blank file with "texmacs &"
and then saving it. This scenario seems to pick up only the "texmacs
&" case, not the case of "texmacs newfile.tm &"

In fact, just for kicks, I just tried turning off my-init-buffer.scm
and running "texmacs &" The way in which TeXmacs initializes the
document is quite different from when I run "texmacs newfile.tm &"
With the former I get a nice US letter page by default; with the
latter I get the dreaded A4.

By the way, I am the biggest TeXmacs apostle ever, and have preached
its gospel across the lands of my department. I can type documents
literally 10x faster than my LaTeX peers and with less pain, and about
2x faster than those with LyX. The only real problems are
collaboration and conversion to journal style. I usually type papers
in a very generic form, then export to TeX, and then apply my limited
TeX knowledge to plug in the journal's template. I also have another
crazy irritation: I have to run "update all" twice to get TeXmacs both
to update my bibliography and to update all my citations.

Anyway, great work on TeXmacs!

Kevin

On Sat, Mar 15, 2008 at 2:19 PM, Joris van der Hoeven
<address@hidden> wrote:
>
>
>
> On Fri, Mar 14, 2008 at 03:24:26PM +0100, address@hidden wrote:
> > Hi guys,
> >
> > Every time I create a new document, I would like it to default to letter 
> > paper and font size 12. I added the following lines to my-init-buffer.scm:
> >
> > (init-page-type "letter")
> > (init-env "font-base-size" "12")
> >
> > These do the trick, but have an unintended consequence. I have created a 
> > document whose font-base-size I manually changed to size 36 (call it 
> > poster.tm). With those lines in my-init-buffer, whenever I open 
> > poster.tm, TeXmacs changes the font-base-size to 12, and I need to 
> > manually change it back to font-base-size 36. Is there any way I can fix 
> > this? I'd like it to set font-base-size to 12 and page-type to letter 
> > ONLY when creating a new document -- otherwise it should just respect the 
> > file's settings. Any help? Thanks.
>
> What about something like
>
>        (when (no-name?)
>          (init-page-type "letter")
>          ...)
>
> Best wishes, Joris
>