Joe Groff b12cdae993 ui.tools.deploy: add doc link to deploy-flags ... That's where all the settings are actually described.		2011-11-27 12:37:58 -08:00
..
browser	Rename class to class-of	2011-10-24 06:47:42 -05:00
common	Rename class to class-of	2011-10-24 06:47:42 -05:00
debugger	Display a system-alert for callback errors in the UI; also for thread errors in deployed apps; fixes #92, fixes #95	2011-10-03 00:24:37 -07:00
deploy	ui.tools.deploy: add doc link to deploy-flags	2011-11-27 12:37:58 -08:00
error-list	icon for user-init-errors	2011-11-27 12:06:48 -08:00
inspector	Rename class to class-of	2011-10-24 06:47:42 -05:00
listener	Revert "ui.tools.listener: removing unnecessary spawn."	2011-11-15 12:35:25 -08:00
operations	kill tools.profiler.counting and ui.tools.profiler	2011-11-10 12:33:10 -08:00
traceback	ui.tools.traceback: make it a tool window so that its size is saved, and workspace shortcuts work	2010-06-28 17:10:15 -04:00
walker	docs: change $subsection to $subsections	2009-10-02 12:15:48 -04:00
authors.txt	Move 'ui' to basis	2008-08-07 21:12:50 -05:00
summary.txt	Move 'ui' to basis	2008-08-07 21:12:50 -05:00
tags.txt	Move 'ui' to basis	2008-08-07 21:12:50 -05:00
tools-docs.factor	kill tools.profiler.counting and ui.tools.profiler	2011-11-10 12:33:10 -08:00
tools.factor	ui.tools: adding Ctrl-Shift-F for "toggle fullscreen".	2011-03-07 15:08:26 -08:00