Joe Groff 6d3d8392d1 tools.profiler.counting: rename help article		2011-11-02 13:23:14 -07: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	Cleanup some uses of global [ ] bind.	2011-10-19 11:01:16 -07:00
error-list	Update code that did ">alist sort-" to just "sort-".	2011-04-07 09:01:21 -07:00
inspector	Rename class to class-of	2011-10-24 06:47:42 -05:00
listener	Revert "ui.gadgets.editors: implement Ctrl-A/E/K to be more compatible."	2011-10-29 15:27:27 -07:00
operations	move counting profiler to tools.profiler.counting	2011-11-02 13:23:09 -07:00
profiler	tools.profiler.counting: rename help article	2011-11-02 13:23:14 -07: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	move counting profiler to tools.profiler.counting	2011-11-02 13:23:09 -07:00
tools.factor	ui.tools: adding Ctrl-Shift-F for "toggle fullscreen".	2011-03-07 15:08:26 -08:00