drJava menu's font is microscopic and absolutely unreadable . Changing the fonts in the Preference does not help. Please advise.
DrJava Version : drjava-20140826-r5761 DrJava Build Time: 20140826-0459
Windows x 64
Log in to post a comment.
