mailing-list for TeXmacs Users

[Jerzy Wróbel <address@hidden>]

Hi Joris,
I have installed aspell by hand and it seems to work,
thank you. I have also noticed that each time texmacs
is called, its window gets slightly taller and taller...
Indeed, the "height TeXmacs" parameter (from
preferences.scm file) grows by itself by 40.
For example if it started from
("height TeXmacs" "750")
the sequence
("height TeXmacs" "790")
("height TeXmacs" "830")
... and so on, is observed
Best,
Jerzy
----- Original Message ----- 
From: "Joris van der Hoeven" <address@hidden>
To: <address@hidden>
Sent: Tuesday, October 29, 2013 3:29 PM
Subject: Re: [TeXmacs] insert pdf (windows 7) failed


> Hi Jerzy,
>
> On Tue, Oct 29, 2013 at 02:42:05PM +0100, Jerzy Wrobel wrote:
> > As promised, I have checked my pdf and eps files
> > on Linux (Ubuntu) using TM 1.0.7.14.
> >  a) eps files have been displayed correctly but the rendered bitmap
> >     is very ugly.
> >  b) as regards pdf, only small part of a figure has been displayed.
> >
> > In the meantime I somehow "fixed" the problem on win 7/8
> > (1.0.7.20). I had just entered sizes of figures (in cm)
> > by hand (fortunately I knew it) and both formats were displayed
> > correctly. However, only eps is rendered, when document
> > is exported as a pdf file. Anyway, on screen both format
> > look much nicer in windows than in Linux.
>
> OK, so this must definitely be related to the way things are being 
> converted.
> We'll dig into this.
>
> > BTW, how to spell-check on win?
> > Using aspell? maybe hunspell?
>
> I thought we integrated aspell into the distribution.
> If not, then we should do so.
>
> Best wishes, --Joris
>
> __________ Informacja programu ESET Endpoint Antivirus, wersja bazy 
> sygnatur wirusów 8980 (20131029) __________
>
> Wiadomooæ zosta³a sprawdzona przez program ESET Endpoint Antivirus.
>
> http://www.eset.pl lub http://www.eset.com


__________ Informacja programu ESET Endpoint Antivirus, wersja bazy sygnatur 
wirusów 8980 (20131029) __________

Wiadomoœæ zosta³a sprawdzona przez program ESET Endpoint Antivirus.

http://www.eset.pl lub http://www.eset.com