https://blog.wensheng.org/2017/12/drjava-font-size-problem.html?showComment=1608792360182
Wensheng: DrJava Font Size Problem
I'm helping my son learning Java. One of the first things to do when learning Java is picking an IDE. I like DrJava for its simplicity an...
font sizedrjavaproblem