https://sourceforge.net/p/drjava/feature-requests/393/2011-04-18T15:55:10ZRecent changes to 393: menu font size2011-04-18T15:55:10Z2011-04-18T15:55:10ZAnonymoushttps://sourceforge.net/u/userid-None/https://sourceforge.net0e6ac242c9027e78fc931fbd7e7193ef0be59f5e

<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>