-
Grégoire Lecerf
Joris van der Hoeven
Joris van der Hoeven
mailing-list for TeXmacs Users
Text archives Help
From : vincent douce <address@hidden>- To: texmacs-users <address@hidden>
- Subject: line thickness
- Date: Wed, 15 Nov 2023 16:43:29 +0100
hello all
is it possible in TeXmacs to have finer line that the lines by default ?
thanks
Vincent
- line thickness, vincent douce, 11/15/2023
- Re: line thickness, Giovanni Piredda, 11/15/2023
- Re: line thickness, Hammer Hu, 11/15/2023
- Re: line thickness, vincent douce, 11/16/2023
- Re: line thickness, Giovanni Piredda, 11/16/2023
- Re: line thickness, Hammer Hu, 11/16/2023
- Re: line thickness, vincent douce, 11/17/2023
- Re: line thickness, Giovanni Piredda, 11/17/2023
- Re: line thickness, vincent douce, 11/18/2023
- Re: line thickness, Giovanni Piredda, 11/18/2023
- Re: line thickness, vincent douce, 11/19/2023
- Re: line thickness, Giovanni Piredda, 11/17/2023
- Re: line thickness, vincent douce, 11/17/2023
- Re: line thickness, vincent douce, 11/16/2023
- Re: line thickness, Hammer Hu, 11/15/2023
- Re: line thickness, Giovanni Piredda, 11/15/2023
Archive powered by MHonArc 2.6.24.
