Skip to Content.

Sympa Menu

texmacs-users - Difficult - but important - question on the forum

List Options Menu

Subject: mailing-list for TeXmacs Users

List archive

Difficult - but important - question on the forum

From: Giovanni Piredda <address@hidden>
To: TeXmacs <address@hidden>
Subject: Difficult - but important - question on the forum
Date: Sat, 25 Sep 2021 21:08:43 +0000

http://forum.texmacs.cn/t/how-enlarge-fonts-of-menu/604

Does anyone know?

Difficult - but important - question on the forum, Giovanni Piredda, 09/25/2021

Archive powered by MHonArc 2.6.19.