Tear out or duplicate what's unique for WindowServer from Widgets. 
						
					 
				 
				2019-01-16 16:03:50 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Tear out or duplicate what's unique for WindowServer from Widgets. 
						
					 
				 
				2019-01-16 16:03:50 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Tear out or duplicate what's unique for WindowServer from Widgets. 
						
					 
				 
				2019-01-16 16:03:50 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Rework WindowServer to use select() in its main event loop. 
						
					 
				 
				2019-01-16 17:20:58 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Rework WindowServer to use select() in its main event loop. 
						
					 
				 
				2019-01-16 17:20:58 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Tear out or duplicate what's unique for WindowServer from Widgets. 
						
					 
				 
				2019-01-16 16:03:50 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Tear out or duplicate what's unique for WindowServer from Widgets. 
						
					 
				 
				2019-01-16 16:03:50 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Tear out or duplicate what's unique for WindowServer from Widgets. 
						
					 
				 
				2019-01-16 16:03:50 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Rework WindowServer to use select() in its main event loop. 
						
					 
				 
				2019-01-16 17:20:58 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Rework WindowServer to use select() in its main event loop. 
						
					 
				 
				2019-01-16 17:20:58 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Rework WindowServer to use select() in its main event loop. 
						
					 
				 
				2019-01-16 17:20:58 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Tear out or duplicate what's unique for WindowServer from Widgets. 
						
					 
				 
				2019-01-16 16:03:50 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Tear out or duplicate what's unique for WindowServer from Widgets. 
						
					 
				 
				2019-01-16 16:03:50 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Tear out or duplicate what's unique for WindowServer from Widgets. 
						
					 
				 
				2019-01-16 16:03:50 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Tear out or duplicate what's unique for WindowServer from Widgets. 
						
					 
				 
				2019-01-16 16:03:50 +01:00