|
ae314207b1
|
add theme name to each color theme file
|
2016-05-31 15:30:46 -04:00 |
|
|
b90e373d70
|
it is probably a mistake to rename dark -> Dark at this particular point in time
|
2016-05-31 15:30:45 -04:00 |
|
|
4c60a925c0
|
the return of the theme selector, plus 3 new themes from cooltehno
|
2016-05-31 15:30:45 -04:00 |
|