|  | 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 |  |