Thanks Martin, i hoped something more simple but I will try!
Le samedi 22 avril 2023 à 20:46:55 UTC+2, Martin Budaj <[email protected]>
a écrit :
Check https://github.com/therion/therion/issues/125#issuecomment-639324177
Best regardsMartin
On Sat, Apr 22, 2023 at 4:39 PM david Le berre via Therion <[email protected]>
wrote:
Dear all.
Little issue: I can change all text size in the header except the scale bar
one's.After a few hours of digging in Tex and exemple I can not find the way.
Any solution?Thanks in advance.
David_______________________________________________
Therion mailing list
[email protected]
https://mailman.speleo.sk/listinfo/therion
_______________________________________________
Therion mailing list
[email protected]
https://mailman.speleo.sk/listinfo/therion
_______________________________________________
Therion mailing list
[email protected]
https://mailman.speleo.sk/listinfo/therion
