Add textarea font size property since the default is tiny on 4K screens.
1 parent da6ab4a commit d8d343caacdf6ecb6482e24747486d861053093b
Mark George authored on 7 Apr
Showing 3 changed files
View
src/main/java/dao/MarkingProperties.java
View
src/main/java/ui/CriterionPanel.java
View
src/main/resources/marking.properties