John Benediktsson fb9c3920ae ui.tools: enable touchbar commands.		2018-01-01 16:00:19 -08:00
..
browser	ui.tools: enable touchbar commands.	2018-01-01 16:00:19 -08: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.slots: move to ui.tools.inspector.slots.	2017-10-25 16:17:08 -07:00
listener	ui.tools: enable touchbar commands.	2018-01-01 16:00:19 -08: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	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	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