History for marking / src / main / java / ui / CriterionPanel.java
2022-06-17
Make marking window modal. Fix bugs with incomplete results.
Mark George committed on 17 Jun 2022
Change 'special' criterion to text fields. ...
Mark George committed on 17 Jun 2022
Minor cleanup. Library updates. Update schema to latest version.
Mark George committed on 17 Jun 2022
2020-09-28
Converted to Gradle project, and switched to FlatLAF.
Mark George committed on 28 Sep 2020