Alexander Iljin 2db2f0eaa0 *-docs: remove extra spaces from the end of various topics		2016-06-22 11:27:26 -07:00
..
browser	browser: trim whitespace from query before search.	2016-05-22 07:54:53 -07:00
common	ui.theme.switching: default font colors.	2016-05-22 07:53:21 -07:00
debugger	ui.gadgets.theme: rename to ui.theme.images.	2016-05-22 07:53:21 -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.gadgets.theme: rename to ui.theme.images.	2016-05-22 07:53:21 -07:00
listener	*-docs: remove extra spaces from the end of various topics	2016-06-22 11:27:26 -07:00
operations	parser, source-files: you need to bootstrap after this patch.	2015-07-23 22:03:43 -07:00
traceback	ui.gadgets.theme: rename to ui.theme.images.	2016-05-22 07:53:21 -07:00
walker	ui.theme.switching: default font colors.	2016-05-22 07:53:21 -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