Recent changes to 393: menu font sizehttps://sourceforge.net/p/drjava/feature-requests/393/Recent changes to 393: menu font sizeenMon, 18 Apr 2011 15:55:10 -0000menu font sizehttps://sourceforge.net/p/drjava/feature-requests/393/<div class="markdown_content"><p>Java ignores Windows's DPI settings - java program running on Windows without settings for "default font size" is completely unreadable (text is too small) and unusable on display with pixel density.</p> <p>This affects:<br /> - main menu of program<br /> - dialogs</p></div>AnonymousMon, 18 Apr 2011 15:55:10 -0000https://sourceforge.net0e6ac242c9027e78fc931fbd7e7193ef0be59f5e