font in GAMBIT
Hi. I have a simple question concerning gambit. I want to change the font size in gambit. Recently, i newly installed the new version of exceed and different font size was seen on my screen. I have been searching through the documentations but I couldn't find a solution.
Thanks for any help
|All times are GMT -4. The time now is 18:43.|