| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | add barebones plugin framework, cleanup |  asie | 2018-12-08 | 1 | -42/+0 |
| | | |||||
| * | add line number coloring, bugfixes | asie | 2018-11-28 | 1 | -0/+4 |
| | | |||||
| * | Added theme switcher + dark theme (#60) |  Modmuss50 | 2017-06-07 | 1 | -16/+16 |
| | | | | | | | | | | | | | | | | | | | | | | | * Initial work on the color config * Save and read config from file.+ * Allow changing the editor colors * Remove the right margin * Move config to the user's home dir * Use Guava instead of Apache commons * Add runtime theme switching, includes example "dark" theme. * Rename dark theme as requested * Small clean up * Include suggestions from @Thog | ||||
| * | Add support for custom themes (#59) | Modmuss50 | 2017-06-04 | 1 | -0/+38 |
 |
index : enigma-fork | |
| git |
| summaryrefslogtreecommitdiff |