[Gmsh] RE how to change message font size

jean pierre aubry jeanpierre at lamachine.fr
Wed Sep 10 12:42:43 CEST 2014


hello

close Gmsh and in your file 
/$HOME/.gmsh-options
add a line like this
General.FontSize = 24; 
and 24 will the GUI font size next time you open Gmsh

-- 
jean pierre aubry
33 688 670 795
jeanpierre [at] lamachine.fr