|  | fed4cff878 | Auto-formatting | 2022-12-16 13:45:07 +01:00 |  | 
				
					
						|  | 42bd301389 | selected_element layer which highlights the selected element | 2022-12-09 13:58:45 +01:00 |  | 
				
					
						|  | 494a49bc48 | Switch to a panel based UI, fix #552 | 2022-12-08 02:56:49 +01:00 |  | 
				
					
						|  | b541d3eab4 | Reformat all files with prettier | 2022-09-08 21:40:48 +02:00 |  | 
				
					
						|  | 4246221e8e | Fix import flow, add typing | 2022-07-08 03:14:55 +02:00 |  | 
				
					
						|  | 4283b76f36 | Huge refactoring: split readonly and writable stores | 2022-06-05 02:24:14 +02:00 |  | 
				
					
						|  | f4a965eacf | Move ShowDataLayer-implementation to a separate class for nodejs compatibility | 2022-04-30 00:41:33 +02:00 |  |