| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Fix editor scaling (#536) | 2023-12-24 | 2 | -8/+14 | |
| * | Add checkstyle (#460) | 2022-09-14 | 2 | -22/+23 | |
| * | Configuration stuff (#301) | 2020-08-04 | 2 | -7/+10 | |
| * | Editor tabs (#238) | 2020-06-03 | 2 | -7/+3 | |
| * | Split GUI code to separate module (#242) | 2020-06-03 | 3 | -0/+107 |