| 
									
										
										
										
											2022-09-08 21:40:48 +02:00
										 |  |  | import LayoutConfig from "./Models/ThemeConfig/LayoutConfig" | 
					
						
							|  |  |  | import FeaturePipelineState from "./Logic/State/FeaturePipelineState" | 
					
						
							| 
									
										
										
										
											2020-07-31 01:45:54 +02:00
										 |  |  | 
 | 
					
						
							|  |  |  | /** | 
					
						
							|  |  |  |  * Contains the global state: a bunch of UI-event sources | 
					
						
							|  |  |  |  */ | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2021-10-15 05:20:02 +02:00
										 |  |  | export default class State extends FeaturePipelineState { | 
					
						
							|  |  |  |     /* The singleton of the global state | 
					
						
							| 
									
										
										
										
											2021-07-24 01:59:57 +02:00
										 |  |  |      */ | 
					
						
							| 
									
										
										
										
											2022-09-08 21:40:48 +02:00
										 |  |  |     public static state: FeaturePipelineState | 
					
						
							| 
									
										
										
										
											2021-06-08 16:52:31 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2021-07-24 01:59:57 +02:00
										 |  |  |     constructor(layoutToUse: LayoutConfig) { | 
					
						
							| 
									
										
										
										
											2021-10-15 05:20:02 +02:00
										 |  |  |         super(layoutToUse) | 
					
						
							|  |  |  |     } | 
					
						
							| 
									
										
										
										
											2020-07-31 16:17:16 +02:00
										 |  |  | } |