Add SPDX header to profile widgets 
						
					 
				 
				2017-04-29 13:32:55 -07:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Add SPDX header to profile widgets 
						
					 
				 
				2017-04-29 13:32:55 -07:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Correctly handle SubsurfaceMobile 
						
					 
				 
				2016-01-08 08:04:24 -08:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Add SPDX header to profile widgets 
						
					 
				 
				2017-04-29 13:32:55 -07:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Add SPDX header to profile widgets 
						
					 
				 
				2017-04-29 13:32:55 -07:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Use better aliases for icons. 
						
					 
				 
				2017-11-30 23:14:46 -08:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Add SPDX header to profile widgets 
						
					 
				 
				2017-04-29 13:32:55 -07:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Add SPDX header to profile widgets 
						
					 
				 
				2017-04-29 13:32:55 -07:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Add SPDX header to profile widgets 
						
					 
				 
				2017-04-29 13:32:55 -07:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Dive picture handling: Re enable multi select, improve mouse events 
						
					 
				 
				2017-12-01 09:44:34 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Add SPDX header to profile widgets 
						
					 
				 
				2017-04-29 13:32:55 -07:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Use displayed_dc instead of current_dc 
						
					 
				 
				2017-10-19 14:57:02 -04:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Add SPDX header to profile widgets 
						
					 
				 
				2017-04-29 13:32:55 -07:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Add SPDX header to profile widgets 
						
					 
				 
				2017-04-29 13:32:55 -07:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Add SPDX header to profile widgets 
						
					 
				 
				2017-04-29 13:32:55 -07:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Add SPDX header to profile widgets 
						
					 
				 
				2017-04-29 13:32:55 -07:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Add SPDX header to profile widgets 
						
					 
				 
				2017-04-29 13:32:55 -07:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Add SPDX header to profile widgets 
						
					 
				 
				2017-04-29 13:32:55 -07:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							code cleanup: remove unimplemented classes and structs 
						
					 
				 
				2017-06-16 05:31:41 +09:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Prevent redundant replanning 
						
					 
				 
				2017-12-01 15:47:51 -08:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							desktop UI: no longer attempt to manually show error notifications 
						
					 
				 
				2017-10-26 15:55:49 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Add SPDX header to profile widgets 
						
					 
				 
				2017-04-29 13:32:55 -07:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Add SPDX header to profile widgets 
						
					 
				 
				2017-04-29 13:32:55 -07:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Silence random warnings 
						
					 
				 
				2017-10-20 17:25:18 -04:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Add SPDX header to profile widgets 
						
					 
				 
				2017-04-29 13:32:55 -07:00