Increase font size in grace/xmgrace editor window
<p>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). </p>

<p>To be clear: I don't want to change default <em>figure</em> settings. I want to change the font size of the Grace editor itself.</p>

<p>I have tried:</p>

<ol>
<li>Editing the Default.agr file. This seems to only affect the default figure settings, not the editor itself.</li>
<li>Looking through all the options in the Grace dropdown menus.</li>
<li>Looking for help in the Grace Tutorial/FAQ etc.</li>
<li>Squinting; craning my neck. </li>
</ol>

<p>The font is insanely small. I would abandon this program altogether if my supervisor did not insist that I use it.</p>