nicolas-p
							
						 | 
						
							
							
							
							
								
							
								2a7cc29693
								
							
								
							
						 | 
						
							
							
								
								ui.tools.walker: improved status text
							
							
							
							
							
						 | 
						
							2015-08-16 07:54:45 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								d71f7b955e
								
							
								
							
						 | 
						
							
							
								
								help: fixed USING
							
							
							
							
							
						 | 
						
							2015-08-16 07:54:45 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								bfb81f67cf
								
							
								
							
						 | 
						
							
							
								
								ui.tools.browser: navigation fix
							
							
							
							
							
						 | 
						
							2015-08-16 07:54:16 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								fff4ea78ec
								
							
								
							
						 | 
						
							
							
								
								ui.gadgets.color: changed error colour
							
							
							
							
							
							
							
							Reverted a previous unintentional change 
							
						 | 
						
							2015-08-16 07:54:16 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								bab79fe04c
								
							
								
							
						 | 
						
							
							
								
								ui.theme.light: using HEXCOLOR
							
							
							
							
							
						 | 
						
							2015-08-16 07:54:16 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								1817a4b8cb
								
							
								
							
						 | 
						
							
							
								
								Refactored prev/next buttons code
							
							
							
							
							
						 | 
						
							2015-08-16 07:54:16 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								706fe6eb4e
								
							
								
							
						 | 
						
							
							
								
								help: Added arrows in prev/next links
							
							
							
							
							
						 | 
						
							2015-08-16 07:53:34 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								55c994f1c1
								
							
								
							
						 | 
						
							
							
								
								ui.gadgets.scrollers: removed 1-px gap
							
							
							
							
							
						 | 
						
							2015-08-16 07:53:34 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								bf2b829846
								
							
								
							
						 | 
						
							
							
								
								ui.gadgets.colors moved to ui.gadgets.theme
							
							
							
							
							
						 | 
						
							2015-08-16 07:53:33 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								23a1174e81
								
							
								
							
						 | 
						
							
							
								
								Fixed USING in slots and deploy
							
							
							
							
							
						 | 
						
							2015-08-16 07:53:33 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								9f8736c13c
								
							
								
							
						 | 
						
							
							
								
								Moved toolbar docs
							
							
							
							
							
						 | 
						
							2015-08-16 07:53:33 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								355e14cb5b
								
							
								
							
						 | 
						
							
							
								
								New buttons
							
							
							
							
							
						 | 
						
							2015-08-16 07:53:33 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								9d5336777d
								
							
								
							
						 | 
						
							
							
								
								Toolbar button pressed background
							
							
							
							
							
						 | 
						
							2015-08-16 07:53:33 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								4335698ceb
								
							
								
							
						 | 
						
							
							
								
								ui.gadgets.colors: Several colour changes
							
							
							
							
							
						 | 
						
							2015-08-16 07:53:33 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								a0eaf7a66b
								
							
								
							
						 | 
						
							
							
								
								Fixed alignment issue in toolbars
							
							
							
							
							
						 | 
						
							2015-08-16 07:53:32 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								40c6e04128
								
							
								
							
						 | 
						
							
							
								
								Fixed USING:
							
							
							
							
							
						 | 
						
							2015-08-16 07:53:32 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								279795dbfd
								
							
								
							
						 | 
						
							
							
								
								Red/orange/green thread status in Walker
							
							
							
							
							
							
							
							John did most of the work 
							
						 | 
						
							2015-08-16 07:53:32 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								61552d2901
								
							
								
							
						 | 
						
							
							
								
								Simplified toolbar code
							
							
							
							
							
						 | 
						
							2015-08-16 07:53:32 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								2e067a3705
								
							
								
							
						 | 
						
							
							
								
								Small change in roll button colour
							
							
							
							
							
						 | 
						
							2015-08-16 07:53:32 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								883d7e09d9
								
							
								
							
						 | 
						
							
							
								
								Other small adjustment in browser toolbar
							
							
							
							
							
						 | 
						
							2015-08-16 07:53:32 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								32ae5da655
								
							
								
							
						 | 
						
							
							
								
								Small adjustments in browser toolbar
							
							
							
							
							
						 | 
						
							2015-08-16 07:53:32 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								c0e253a4a5
								
							
								
							
						 | 
						
							
							
								
								Revert previous colour change
							
							
							
							
							
							
							
							Changed my mind 
							
						 | 
						
							2015-08-16 07:53:31 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								f240f189e1
								
							
								
							
						 | 
						
							
							
								
								Improved contents table in Inspector
							
							
							
							
							
						 | 
						
							2015-08-16 07:53:31 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								80307926f6
								
							
								
							
						 | 
						
							
							
								
								Colour changes
							
							
							
							
							
						 | 
						
							2015-08-16 07:53:31 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								f4e8511c0a
								
							
								
							
						 | 
						
							
							
								
								Fixed compatibility issue with labeled gadget
							
							
							
							
							
						 | 
						
							2015-08-16 07:53:31 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								18a4171572
								
							
								
							
						 | 
						
							
							
								
								Toolbar no longer uses images
							
							
							
							
							
						 | 
						
							2015-08-16 07:53:31 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								008614e6cb
								
							
								
							
						 | 
						
							
							
								
								Authors and summary for ui.gadgets.toolbar
							
							
							
							
							
						 | 
						
							2015-08-16 07:53:31 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								79e273a250
								
							
								
							
						 | 
						
							
							
								
								Authors and summary for ui.gadgets.colors
							
							
							
							
							
						 | 
						
							2015-08-16 07:53:30 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								44a6228931
								
							
								
							
						 | 
						
							
							
								
								Removing menu item images
							
							
							
							
							
							
							
							I’m under the impression that they’ve never been used. 
							
						 | 
						
							2015-08-16 07:53:30 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								9d464fea9a
								
							
								
							
						 | 
						
							
							
								
								Removing menu images
							
							
							
							
							
						 | 
						
							2015-08-16 07:53:30 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								086c90822d
								
							
								
							
						 | 
						
							
							
								
								Removing labeled block images
							
							
							
							
							
						 | 
						
							2015-08-16 07:53:30 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								10cb51c031
								
							
								
							
						 | 
						
							
							
								
								help: removing prefix
							
							
							
							
							
						 | 
						
							2015-08-16 07:53:30 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								e66910c3bd
								
							
								
							
						 | 
						
							
							
								
								Centring prev/next links in Browser
							
							
							
							
							
						 | 
						
							2015-08-16 07:53:30 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								0bdeb0c60f
								
							
								
							
						 | 
						
							
							
								
								Prev/next buttons in Browser
							
							
							
							
							
						 | 
						
							2015-08-16 07:53:30 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								c8b63fa4b0
								
							
								
							
						 | 
						
							
							
								
								Fixed USING:
							
							
							
							
							
						 | 
						
							2015-08-16 07:53:30 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								844da3fdfd
								
							
								
							
						 | 
						
							
							
								
								ui.tools.browser: using format-toolbar
							
							
							
							
							
						 | 
						
							2015-08-16 07:53:29 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								359b42ab15
								
							
								
							
						 | 
						
							
							
								
								Removed ui.gadgets.lines
							
							
							
							
							
							
							
							with-lines moves to ui.tools.common, white-interior moves to
ui.gadgets.colors 
							
						 | 
						
							2015-08-16 07:53:29 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								ea40508cd9
								
							
								
							
						 | 
						
							
							
								
								New error-list
							
							
							
							
							
						 | 
						
							2015-08-16 07:53:29 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								d0b4f7d9a3
								
							
								
							
						 | 
						
							
							
								
								Using ui.gadgets.colors everywhere
							
							
							
							
							
						 | 
						
							2015-08-16 07:53:29 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								ba4a6b780a
								
							
								
							
						 | 
						
							
							
								
								Added ui.gadgets.colors
							
							
							
							
							
							
							
							All colour constants in the same place 
							
						 | 
						
							2015-08-16 07:53:29 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								dbe9aebe5d
								
							
								
							
						 | 
						
							
							
								
								New menu
							
							
							
							
							
						 | 
						
							2015-08-16 07:53:29 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								faa2ad6d60
								
							
								
							
						 | 
						
							
							
								
								Increased font size in help header path
							
							
							
							
							
						 | 
						
							2015-08-16 07:53:29 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								d3b27e44b4
								
							
								
							
						 | 
						
							
							
								
								Actual colours for labeled gadgets
							
							
							
							
							
						 | 
						
							2015-08-16 07:53:28 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								48376ff10c
								
							
								
							
						 | 
						
							
							
								
								Using filled-border in status bar
							
							
							
							
							
						 | 
						
							2015-08-16 07:53:28 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								547ca698d8
								
							
								
							
						 | 
						
							
							
								
								Removed extra new line in help
							
							
							
							
							
						 | 
						
							2015-08-16 07:53:28 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								5ebf88bc0c
								
							
								
							
						 | 
						
							
							
								
								Fixed USING: in debugger
							
							
							
							
							
						 | 
						
							2015-08-16 07:53:28 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								c195efbdff
								
							
								
							
						 | 
						
							
							
								
								New inspector
							
							
							
							
							
						 | 
						
							2015-08-16 07:53:28 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								30091bee91
								
							
								
							
						 | 
						
							
							
								
								White interior and margins in Traceback
							
							
							
							
							
						 | 
						
							2015-08-16 07:53:28 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								6a528d3978
								
							
								
							
						 | 
						
							
							
								
								New debugger
							
							
							
							
							
						 | 
						
							2015-08-16 07:53:28 -07:00 | 
						
					
				
					
						
							
							
								 
								nicolas-p
							
						 | 
						
							
							
							
							
								
							
								52135e2df7
								
							
								
							
						 | 
						
							
							
								
								Removed white interior
							
							
							
							
							
							
							
							It was in the wrong place 
							
						 | 
						
							2015-08-16 07:53:28 -07:00 |