Pieter Vander Vennet
|
82f3525907
|
Changesets are now kept open and reused to avoid tons of changesets to be created
|
2020-08-27 11:11:20 +02:00 |
|
|
Pieter Vander Vennet
|
4a0970a71f
|
Custom themes now stick to the user account and can be revisited, small improvements
|
2020-08-26 15:36:04 +02:00 |
|
|
Pieter Vander Vennet
|
146552e62c
|
Some refactoring, more work on the custom theme generator
|
2020-08-17 17:23:15 +02:00 |
|
|
Pieter Vander Vennet
|
2e7688a554
|
Add preferences panel
|
2020-08-07 16:01:18 +02:00 |
|
|
Pieter Vander Vennet
|
dd8f5e549e
|
Small fixes
|
2020-07-31 21:54:30 +02:00 |
|