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