Subject: mailing-list for TeXmacs Users
List archive
From : Maxime Devos <address@hidden>- To: Philippe Joyez <address@hidden>, address@hidden
- Subject: Re: How to crop/trimmed images?
- Date: Thu, 13 Apr 2023 18:10:19 +0200
Op 10-04-2023 om 11:00 schreef Philippe Joyez:
Yes it's possible to crop images, but there is no GUI for that.
If you select the image you want to crop, you can use the menu Format->Adjust-
Clip. Then maybe you need to press the left key to see the input boxes forthe clipping dimensions in the toolbar. And mind that the UI is misleading
(IMHO it's a bug) : In the "Right" box, you are actually expected to enter the
*new width* of the image (and similarly, the "Top" box, wants the new
height.). So if you want to cut 1cm from the right, you may type 1w-1cm in the
"Right" box (1w means 1 x the original width, and TeXmacs will do the math).
I think I managed something, though I had to use 'move' to fix vertical spacing:
<move|<clipped|<image|Three-body_Problem_Animation_with_COM.gif|1w|1h|-0.1w|0.2h>||0.4h|0.76w|1.05h>||-0.5h> (*)
(*) Test image from: https://en.wikipedia.org/wiki/Three-body_problem#/media/File:Three-body_Problem_Animation_with_COM.gif
I just recalled how to use 'pdfcrop' without installing all of TeXlive ("guix shell texlive-tiny ghostscript -- pdfcrop [some-pdf].pdf" on my distribution), and my 'image' is a PDF, so I'll use the simpler 'pdfcrop' tool instead.
Greetings,
Maxime.
Attachment:
OpenPGP_0x49E3EE22191725EE.asc
Description: OpenPGP public key
Attachment:
OpenPGP_signature
Description: OpenPGP digital signature
- How to crop/trimmed images?, Maxime Devos, 04/09/2023
- Re: How to crop/trimmed images?, Massimiliano Gubinelli, 04/10/2023
- Re: How to crop/trimmed images?, Maxime Devos, 04/13/2023
- Re: How to crop/trimmed images?, Massimiliano Gubinelli, 04/13/2023
- Re: How to crop/trimmed images?, Maxime Devos, 04/13/2023
- Re: How to crop/trimmed images?, Massimiliano Gubinelli, 04/13/2023
- Re: How to crop/trimmed images?, Massimiliano Gubinelli, 04/13/2023
- Re: How to crop/trimmed images?, Massimiliano Gubinelli, 04/13/2023
- Re: How to crop/trimmed images?, Massimiliano Gubinelli, 04/13/2023
- Re: How to crop/trimmed images?, Maxime Devos, 04/13/2023
- Re: How to crop/trimmed images?, Massimiliano Gubinelli, 04/13/2023
- Re: How to crop/trimmed images?, Maxime Devos, 04/13/2023
- Re: How to crop/trimmed images?, Philippe Joyez, 04/10/2023
- Re: How to crop/trimmed images?, Maxime Devos, 04/13/2023
- Re: How to crop/trimmed images?, Massimiliano Gubinelli, 04/10/2023
Archive powered by MHonArc 2.6.24.