diff options
| author |  Modmuss50 | 2017-06-07 08:29:37 +0100 |
|---|---|---|
| committer |  GitHub | 2017-06-07 08:29:37 +0100 |
| commit | ba5ffc258f6d58bf9d01226baea016db10cfd811 (patch) | |
| tree | 4fd3b77e619198a47d95ee55a742c8057dea591a /src/test/java | |
| parent | Add support for custom themes (#59) (diff) | |
| download | enigma-ba5ffc258f6d58bf9d01226baea016db10cfd811.tar.gz enigma-ba5ffc258f6d58bf9d01226baea016db10cfd811.tar.xz enigma-ba5ffc258f6d58bf9d01226baea016db10cfd811.zip | |
Added theme switcher + dark theme (#60)
* 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
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions