Comment 1 for bug 310805

Revision history for this message
yossi (farjoun) wrote :

One possible solution to this, in the case of TexText would be to change the way this exports to tex (with pstricks) and use \rput().. or similar construct. The problem would be in cases where this is not desired...how to differentiate between the user wanting to save-as tex and have the result look as on the screen (with the screen's font size) and with the font size set by the "mother" TeX file....

Any ideas?

Yossi.