-
Christophe Geuzaine authored
font options could not be set in .gmshrc/.gmsh-options since the global fltk draw context was not created; fixed
642ff884
font options could not be set in .gmshrc/.gmsh-options since the global fltk draw context was not created; fixed