John Benediktsson 6149bf5afc ui.tools.debugger: set theme fonts on table... ... Probably this should be in the table gadget itself and not scattered everywhere.		2016-05-11 18:37:07 -07:00
..
browser	ui.theme: updates to color scheme.	2016-05-09 21:40:56 -07:00
common	ui.theme: updates to color scheme.	2016-05-09 21:40:56 -07:00
debugger	ui.tools.debugger: set theme fonts on table...	2016-05-11 18:37:07 -07:00
deploy	Fixed USING in slots and deploy	2015-08-16 07:53:33 -07:00
error-list	Moved both themes into ui.theme	2016-05-09 21:40:56 -07:00
inspector	ui.theme: updates to color scheme.	2016-05-09 21:40:56 -07:00
listener	ui.theme: updates to color scheme.	2016-05-09 21:40:56 -07:00
operations	parser, source-files: you need to bootstrap after this patch.	2015-07-23 22:03:43 -07:00
traceback	ui.theme: updates to color scheme.	2016-05-09 21:40:56 -07:00
walker	Moved both themes into ui.theme	2016-05-09 21:40:56 -07:00
authors.txt	…
summary.txt	…
tags.txt	…
tools-docs.factor	…
tools.factor	…