History for marking / src / main / java / ui / CriterionPanel.java
2024-04-10
Add support for group/team marking. Other minor tweaks.
Mark George committed on 10 Apr
2024-04-07
Add textarea font size property since the default is tiny on 4K screens.
Mark George committed on 7 Apr
2023-10-02
Bugfix. Clear buttons not working. Inverted logic at some point.
Mark George committed on 2 Oct
2023-06-06
Rationalised normal vs special vs penalty
Mark George committed on 6 Jun
Update author attribute in JavaDocs
Mark George committed on 6 Jun
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