I would like to increase the font size in the Grace editor window (e.g. 'File', 'Edit', 'Data', dropdown menus, push-buttons etc.). I am running Grace 5.1.23 on Ubuntu 14.04. I have run the program on 2 machines and 4 monitors with various resolutions--the font is consistently small on all of these. I have verified with another user that the font is rendering correctly on my machines (i.e. the font is tiny by default).
To be clear: I don't want to change default figure settings. I want to change the font size of the Grace editor itself.
I have tried:
- Editing the Default.agr file. This seems to only affect the default figure settings, not the editor itself.
- Looking through all the options in the Grace dropdown menus.
- Looking for help in the Grace Tutorial/FAQ etc.
- Squinting; craning my neck.
The font is insanely small. I would abandon this program altogether if my supervisor did not insist that I use it.