texmacs-users - line thickness

Subject: mailing-list for TeXmacs Users

List archive

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