First login?
Lost password?
 
 
 
mailing-list for TeXmacs Users

Text archives Help


Difficult - but important - question on the forum


Chronological Thread 
  • 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.

Top of page