Blurry png pictures

It seems png pictures are blurry in TeXmacs (This picture is not blurry in, for example, word):

in TeXmacs

in word

How to fix this?

1 Like

OK, I figure out that TeXmacs automatically scales the picture. For example, If I insert the picture directly, I get

Alternatively, if I manually scale the picture to its original resolution:

everything is perfect:

How can I make this behavior automated in TeXmacs?

1 Like

+1 Would be good to know this

@mistguy @spaceman What platforms are you using? Where do you download TeXmacs from?

Thanks for looking into this. I am using Windows.

I am using Windows 10, thank you for looking into this.

It is not possible to generate PDF files instead of PNG? That would be the best option for rendering. Maybe if you leave empty the width and height arguments TeXmacs will pick up the original size.

Yes, that is a good shout. Will give that a go.

On another related note, say we want to resize an image, I currently have to work out the aspect ratio of the image and resize width and height manually. Is it possible to automate the resizing when one of the variables is changed? E.g. if I change the height, then the width changes whilst maintaining the aspect ratio

I think you can obtain what you want if you leave the height blank.

1 Like

There was a related bug on the bug tracker:
This has recently been closed by @sadhen and seems to work well now, as far as I can tell.

Perhaps not directly related, but it may be …

For me (Texmacs 2.1 on Manjaro Linux) pdf image inclusion are very blurry inside Texmacs but very good in the pdf preview.

See screenshots below, where the first top image is in png format and the last bottom one in pdf format :

Inside Texmacs

Pdf preview

Is it possible to enhance the resolution of the pdf conversion inside Texmacs ?


This should be fixed in the next release. If you want a solution right now, you would need to compile from the current svn (or git) version.

Thanks @jeroen for your feedback.
It’s not a big deal, can wait for the next release, any idea when ?
Thanks again :+1:

Not really. Joris has been doing a lot of interesting work on the interface, introducing a side panel with new tools a d creating different themes. I imagine there might be a release soon to get those new features out.

1 Like