selection: pass down selection to tab widgets 
						
					 
				 
				2023-04-16 20:23:59 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							selection: pass down selection to tab widgets 
						
					 
				 
				2023-04-16 20:23:59 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							desktop: store pointer to parent in tab-widgets 
						
					 
				 
				2023-04-16 20:23:59 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							desktop: store pointer to parent in tab-widgets 
						
					 
				 
				2023-04-16 20:23:59 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							desktop: store pointer to parent in tab-widgets 
						
					 
				 
				2023-04-16 20:23:59 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							desktop: store pointer to parent in tab-widgets 
						
					 
				 
				2023-04-16 20:23:59 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							desktop: generalize the colorization of the tab widget 
						
					 
				 
				2020-11-03 23:08:39 -08:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							desktop: store pointer to parent in tab-widgets 
						
					 
				 
				2023-04-16 20:23:59 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							desktop: store pointer to parent in tab-widgets 
						
					 
				 
				2023-04-16 20:23:59 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Cleanup: Move dive-equipment tab into own translation units 
						
					 
				 
				2019-04-15 10:30:04 +12:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							desktop: store pointer to parent in tab-widgets 
						
					 
				 
				2023-04-16 20:23:59 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							desktop: store pointer to parent in tab-widgets 
						
					 
				 
				2023-04-16 20:23:59 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							desktop: generalize the colorization of the tab widget 
						
					 
				 
				2020-11-03 23:08:39 -08:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							desktop: store pointer to parent in tab-widgets 
						
					 
				 
				2023-04-16 20:23:59 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							desktop: store pointer to parent in tab-widgets 
						
					 
				 
				2023-04-16 20:23:59 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							cleanup: break out the dive-notes tab 
						
					 
				 
				2022-03-12 18:33:32 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							desktop: store pointer to parent in tab-widgets 
						
					 
				 
				2023-04-16 20:23:59 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							desktop: store pointer to parent in tab-widgets 
						
					 
				 
				2023-04-16 20:23:59 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Implement different zoom levels for dive photos tab 
						
					 
				 
				2017-12-18 12:07:10 -08:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							desktop: store pointer to parent in tab-widgets 
						
					 
				 
				2023-04-16 20:23:59 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							desktop: store pointer to parent in tab-widgets 
						
					 
				 
				2023-04-16 20:23:59 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Reorganise the current statistics tab 
						
					 
				 
				2020-11-04 11:34:26 -08:00