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