| 
					
						
							
								
								
									
									
									render
									
								
							
						
					
				 | 
				
					
						
							
							fix some more uninitialized class member fields
						
					
				 | 
				2014-10-11 00:50:32 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									settings
									
								
							
						
					
				 | 
				
					
						
							
							fix some more uninitialized class member fields
						
					
				 | 
				2014-10-11 00:50:32 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									widget
									
								
							
						
					
				 | 
				
					
						
							
							rewrote run tool profile management
						
					
				 | 
				2014-09-13 18:53:35 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									world
									
								
							
						
					
				 | 
				
					
						
							
							added tooltips for scopes in creator bar
						
					
				 | 
				2014-10-13 14:24:27 +02:00 |