Made expandable text areas optional (check box).
1 parent cd32642 commit 41b1b4939b274aac122414ca7c09bf756441c8ae
Mark George authored on 9 Nov 2017
Showing 2 changed files
View
src/ui/CriterionPanel.java
View
src/ui/MarkingFrame.java