Change input font size in yacas-gui?

19 views

Skip to first unread message

Jack Dawkins

unread,

Aug 18, 2023, 10:34:55 AM8/18/23

to yacas

I'm using Yacas 1.9.1 on Linux (Debian 12). The font size for input is very small, practically unusable for me (my sight isn't quite what it was); is there any way to increase it? The output font is fine.

Reply all

Reply to author

Forward

0 new messages