[Texmacs-dev] properly scaling images when exporting to latex

[Peter Rapčan]

Hi developers,

I have noticed, that an eps image that is scaled in the TeXmacs file is not 
scaled in a latex file after export. What seems to do the trick is to add 
{\includegraphics[scale=SCALE_HERE]{imag.eps}} instead of just 
{\includegraphics{imag.eps}}. Could this be implemented please? ;-)

Unfortunately, fractions seem not to work in the scale directive, so TeXmacs 
would have to convert to a decimal number. I am also not sure if one can, in 
TeX, somehow properly scale images independently for x and y axis, which 
TeXmacs allows...

Cheers,

Peter