https://sourceforge.net/p/drjava/support-requests/329/Recent changes to 329: Menu font sizeenWed, 14 Sep 2016 11:23:47 -0000https://sourceforge.net/p/drjava/support-requests/329/<div class="markdown_content"><p>I suppose this support request could be interpreted as a feature request as well, but I digress... is there any way to increase the font size of DJ's menu items? They're so small. thx in advance!</p></div>BodreyWed, 14 Sep 2016 11:23:47 -0000https://sourceforge.neta813e8e0e8aff01ddad33623990559a2e27c269e