Enlarge menu fonts?

Alasdair McAndrew <[email protected]> Mon, 16 Jun 2025 15:30:47 +1000
Newsgroups gmane.editors.texmacs.user
Message-ID <CAPGiC76SJ0C=op8JdLWcGth7gPG-N2NJX71iLb4CcCsyK6E7hw@mail.gmail.com>
Hello,

I've installed TeXmacs mainly to provide an interface to FriCAS.  I'm using
a newly updated Arch Linux, and since the Arch package appears to have some
issues, I installed the generic Linux binary package.

It works well except that the menu fonts are very very small - too small,
in fact, to be useful.  (I can just read them with a lot of effort and
squinting).

I'm using KDE Plasma version 6.3.5 with Qt 6.9.0 and Wayland as my
graphics platform.

How can I enlarge the menu fonts?

Thank you all,
Alasdair