| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Add checkstyle (#460) | 2022-09-14 | 1 | -29/+26 | |
| * | Fix warning/error formatting in editor | 2021-04-03 | 1 | -0/+2 | |
| * | Fix using runtime changed configuration for parts of the UI that don't suppor... | 2021-03-25 | 1 | -3/+3 | |
| * | Don't use custom editor fonts when they aren't enabled | 2021-03-18 | 1 | -1/+4 | |
| * | Configuration stuff (#301) | 2020-08-04 | 1 | -38/+36 | |
| * | Allows setting the default editor font in the configuration file. (#295) | 2020-07-14 | 1 | -0/+4 | |
| * | Fix editor contents being changeable through certain key combinations (#258) | 2020-06-08 | 1 | -7/+33 | |
| * | Editor tabs (#238) | 2020-06-03 | 1 | -4/+12 | |
| * | Split GUI code to separate module (#242) | 2020-06-03 | 1 | -0/+44 |