|
|
c6e4ebc347
|
Allow _ in preferences again, version bump
|
2021-06-22 14:29:22 +02:00 |
|
|
|
afbe765ce9
|
Add table, fix preferences view
|
2021-06-15 00:55:12 +02:00 |
|
|
|
269856a002
|
Rename utility function
|
2021-05-31 00:20:15 +02:00 |
|
|
|
134dbe2f42
|
Improve preferences window: allow to salvage broken themes; delete all preferences
|
2021-05-07 15:09:52 +02:00 |
|
|
|
2e6e7f853d
|
Fix build
|
2021-05-07 14:40:13 +02:00 |
|
|
|
7b0293d7e2
|
Utils.ts
|
2021-05-07 13:17:42 +02:00 |
|
|
|
4766f8bbde
|
More validation and fixes
|
2021-04-10 03:50:44 +02:00 |
|
Pieter Vander Vennet
|
9970c4b8bb
|
Cleanup of empty classes, partial use of default export
|
2020-10-02 19:00:24 +02:00 |
|
Pieter Vander Vennet
|
a57b7d93fa
|
Huge refactorings of JSON-parsing and Tagsfilter, other cleanups, warning cleanups and lots of small subtle bugfixes
|
2020-08-30 01:13:18 +02:00 |
|
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 |
|
