Subject: mailing-list for TeXmacs Users
List archive
From : Massimiliano Gubinelli <address@hidden>- To: Maxime Devos <address@hidden>
- Cc: texmacs-users <address@hidden>
- Subject: Re: How to crop/trimmed images?
- Date: Thu, 13 Apr 2023 17:42:04 +0200
With respect to your specific problem you might try to use
`Format->Adjust->Clip / Resize /Move` to apply additional transformations to
the image. In particular Clip should allow you to crop the image. But I
haven’t tried myself.
Best
Max
> On 13 Apr 2023, at 16:54, Massimiliano Gubinelli <address@hidden> wrote:
>
> Well, the manual is free because Joris wrote it and choose to make it free,
> while Jolly Writer is now accessible via PDF and Joris asks for a voluntary
> contribution to support his work with the program. So I do not see why you
> see a problem with one but not the other. Writing all this documentation
> for TeXmacs required anyway a lot of time.
>
> Actually is my opinion that Joris should ask for contribution to the
> project right at the moment of the download of the program like other open
> source projects do. For example yesterday I downloaded Fontforge and
> essentially they ask you (rightly) to contribute via Paypal very explicitly
> before you even can access the download button.
>
> Best
> Max
>
>
>> On 13 Apr 2023, at 16:31, Maxime Devos <address@hidden> wrote:
>>
>> Op 10-04-2023 om 10:38 schreef Massimiliano Gubinelli:
>>> Have you checked in “Jolly Writer”?
>>> m
>>
>> No. I don't have the "Jolly Writer" and given that TeXmacs already has
>> another manual and that manual is free, I think I shouldn't.
>>
>> Greetings,
>> Maxime.
>> <OpenPGP_0x49E3EE22191725EE.asc>
>
- 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.