d55c261079 
					 
					
						
						
							
							inspector: Add a new page that lists the CSS node tree  
						
						
						
						
					 
					
						2015-03-18 15:23:33 +01:00 
						 
				 
			
				
					
						
					 
					
						
						
							
						
						2b07b6c069 
					 
					
						
						
							
							inspector: Add a magnifier  
						
						... 
						
						
						
						Add a magnifier that shows the selected widget up to 5 times
enlarged. 
						
						
					 
					
						2014-12-20 19:24:08 -05:00 
						 
				 
			
				
					
						
					 
					
						
						
							
						
						5f701cf4c9 
					 
					
						
						
							
							inspector: Move the record button up  
						
						... 
						
						
						
						Give all the page space to the content. 
						
						
					 
					
						2014-11-07 23:19:28 -05:00 
						 
				 
			
				
					
						
					 
					
						
						
							
						
						1ddace0a5f 
					 
					
						
						
							
							inspector: Shorten some labels  
						
						
						
						
					 
					
						2014-11-07 22:57:14 -05:00 
						 
				 
			
				
					
						
					 
					
						
						
							
						
						70c3241bd3 
					 
					
						
						
							
							inspector: Improve tab switching  
						
						... 
						
						
						
						Switch the object and resource trees away from activate-on-single-click
and add a 'view details' button. 
						
						
					 
					
						2014-10-24 21:14:16 -04:00 
						 
				 
			
				
					
						
					 
					
						
						
							
						
						3a19c76017 
					 
					
						
						
							
							inspector: Bring the selector back  
						
						... 
						
						
						
						Make it a separate page instead of the old button path. 
						
						
					 
					
						2014-10-12 07:57:29 -04:00 
						 
				 
			
				
					
						
					 
					
						
						
							
						
						9f1d651e0b 
					 
					
						
						
							
							inspector: Add a tab for object counts  
						
						... 
						
						
						
						This can be useful in finding leaks.
https://bugzilla.gnome.org/show_bug.cgi?id=738272  
						
						
					 
					
						2014-10-11 16:54:24 -04:00 
						 
				 
			
				
					
						
					 
					
						
						
							
						
						7b20bb917f 
					 
					
						
						
							
							inspector: Small improvements to the resource tab  
						
						... 
						
						
						
						Move the close button to the header bar and center the info grid. 
						
						
					 
					
						2014-10-11 00:59:36 -04:00 
						 
				 
			
				
					
						
					 
					
						
						
							
						
						a5846645d1 
					 
					
						
						
							
							inspector: Cosmetic fixes  
						
						... 
						
						
						
						Set scrollbars and shadows consistently. 
						
						
					 
					
						2014-10-11 00:59:36 -04:00 
						 
				 
			
				
					
						
					 
					
						
						
							
						
						bee90aa8c8 
					 
					
						
						
							
							inspector: Drop unused python shell code  
						
						... 
						
						
						
						This is getting in the way; if somebody comes by who wants
to add scripting support back, we can resurrect this. 
						
						
					 
					
						2014-10-11 00:59:36 -04:00 
						 
				 
			
				
					
						
					 
					
						
						
							
						
						e742c0447e 
					 
					
						
						
							
							inspector: Add .ui.h files to git  
						
						... 
						
						
						
						Tools like damn-lies rely on being able to generate .pot files
from pristine checkouts, so everything that goes into the .pot
file has to be in git. This is not ideal, but we already do
the same for other .ui.h files in GTK+. 
						
						
					 
					
						2014-09-02 09:53:51 -04:00