John Benediktsson b90f37b13e ui.tools.common: only save tool-dim when not fullscreen.		2017-10-25 16:16:53 -07:00
..
browser	ui.gadgets.search-tables: remove slot-protocol.	2017-10-25 15:41:23 -07:00
common	ui.tools.common: only save tool-dim when not fullscreen.	2017-10-25 16:16:53 -07:00
debugger	ui: more docs and tests	2017-06-27 23:47:35 +02:00
deploy	ui.tools.deploy: cleanup using.	2017-10-24 11:32:35 -07:00
error-list	ui.gadgets.labeled: cleanup labeled-gadget words.	2017-10-25 15:00:22 -07:00
inspector	ui.gadgets.labeled: cleanup labeled-gadget words.	2017-10-25 15:00:22 -07:00
listener	ui.gadgets.labeled: cleanup labeled-gadget words.	2017-10-25 15:00:22 -07:00
operations	ui.tools.operations: making "See" an operation on words.	2016-11-09 15:39:59 -08:00
traceback	ui.gadgets.labeled: cleanup labeled-gadget words.	2017-10-25 15:00:22 -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	ui.tools-docs: fix description of the context menu behavior	2016-08-10 19:42:20 -07:00
tools.factor	ui.backend: adding ui-stop-after-last-window?.	2017-03-05 14:51:33 -08:00