Subject: mailing-list for TeXmacs Users
List archive
From : Hammer Hu <address@hidden>- To: address@hidden
- Subject: Re: line thickness
- Date: Wed, 15 Nov 2023 14:34:01 -0500
Several lines behind
(define cell-current-pen-width "1ln")
there's a function `cell-set-pen-width'. It should work if you put in init
file:
(use-modules (table table-edit))
(cell-set-pen-width "0.5ln")
Best,
Hammer
---------------------------------------------
From: Giovanni Piredda <address@hidden>
Sent: 15.11.2023 19:18
To: address@hidden
Subject: Re: line thickness
I have investigated a bit (following the ideas in
<https://texmacs.github.io/notes/docs/menu-shortcuts.html>) and found out in
progs/table/table-edit.scm the definition
(define cell-current-pen-width "1ln")
This is local to the module. I tried it together with the with-module form
shown in <http://forum.texmacs.cn/t/advanced-user-tip-interacting-with-scheme-
modules/1497>, as
(with-module (resolve-module '(table table-edit)) (define cell-current-pen-
width "0.5ln"))
It works in a Scheme session, but it does not yet work for me in the init
file. For today I have to stop: perhaps someone has an idea?
Giovanni
On 15/11/23 16:43, vincent douce wrote:
> hello all
>
> is it possible in TeXmacs to have finer line that the lines by default ?
>
> ![](cid:address@concealed)
>
> 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, Hammer Hu, 11/18/2023
- Re: line thickness, vincent douce, 11/19/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.