Abdelrazak Younes <[EMAIL PROTECTED]> writes: > Enrico Forestieri wrote: >> Abdelrazak Younes writes: >> >>> We don't have a GUI for that? >> >> No, we have not. > > Too bad! I guess we need then...
No, what we need is to fix this preview code to get scaling right. I think this scale factor is just a way to work around our bugs. I tried to look at it some time ago, but gave up. It seems to me that the dvipng-based code gets the zoom factor wrong, but I could not put my finger on it. JMarc
