[PATCH] make the title font bigger in PS output

5 views
Skip to first unread message

Qian Yun

unread,
May 1, 2024, 6:37:27 AM5/1/24
to fricas-devel
This patch will make the font of title bigger than the axes label
(X/Y/Z) and units in PS image output.

This will make the default output more suitable for the book.
Unfortunately the font size is not customizable at SPAD level.

BTW, I checked the original book, most images are without title.

- Qian
ps-bigger-title-font.patch

Waldek Hebisch

unread,
May 1, 2024, 7:25:35 AM5/1/24
to fricas...@googlegroups.com
OK, please commit.

--
Waldek Hebisch
Reply all
Reply to author
Forward
0 new messages