Björn Lindqvist 686975ec29 ui.tools.listener: only wait up to 5 seconds for the listener to start ... otherwise unit tests can wait forever if there is an error in listener-thread		2015-11-27 13:15:17 +01:00
..
browser	ui.gadgets.editors: make it easier to set and get default-text.	2015-08-16 14:29:21 -07:00
common	ui.gadgets.colors moved to ui.gadgets.theme	2015-08-16 07:53:33 -07:00
debugger	Fix comments to be ! not #!.	2015-09-08 16:15:10 -07:00
deploy	Fixed USING in slots and deploy	2015-08-16 07:53:33 -07:00
error-list	Fix comments to be ! not #!.	2015-09-08 16:15:10 -07:00
inspector	ui.gadgets.colors moved to ui.gadgets.theme	2015-08-16 07:53:33 -07:00
listener	ui.tools.listener: only wait up to 5 seconds for the listener to start	2015-11-27 13:15:17 +01:00
operations	parser, source-files: you need to bootstrap after this patch.	2015-07-23 22:03:43 -07:00
traceback	ui.gadgets.colors moved to ui.gadgets.theme	2015-08-16 07:53:33 -07:00
walker	ui.tools.walker: improved status text	2015-08-16 07:54:45 -07:00
authors.txt	…
summary.txt	…
tags.txt	…
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