mailing-list for TeXmacs Users

[vincent douce <address@hidden>]

thanks very much both of you Hammer and Giovanni

really efficient !

i have attached a screenshot :

on the left the thickness by default

on the middle thicnkess 0.5ln, exactly what i wanted

thought, some questions please :

a) on the right side (third screenshot) i have put 0.2ln (and of course recorded my-init-texmacs and left the app and relaunched)

but curiously the thickness between 0.5ln (middle picture) and 0.2ln (right picture) seem not to be different : why ?

b) is it possible to parameter the same for horizontal lines (Hrule) ?

c) the link Giovanni gives leads to 12.4 of https://www.texmacs.org/tmweb/documents/manuals/texmacs-manual.en.pdf but i can’t find the document where you found the lines you cote : where did you find them ?

Vincent

Le 15 nov. 2023 à 20:34, Hammer Hu <address@hidden> a écrit :

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 ?


thanks




Vincent