John Benediktsson 96a0c30baf ui.backend: adding ui-stop-after-last-window?. ... This defaults to true, except for the "ui.tools". Also, this only works on macOS right now. Linux and Windows always stop after the last window closes.		2017-03-05 14:51:33 -08:00
..
browser	ui.tools.*: fix swapped argument order for set-tool-dim	2016-07-30 19:03:23 +02:00
common	ui.tools.*: fix swapped argument order for set-tool-dim	2016-07-30 19:03:23 +02:00
debugger	ui.gadgets.theme: rename to ui.theme.images.	2016-05-22 07:53:21 -07:00
deploy	ui: some more dark theme polish.	2016-07-16 10:16:29 -07:00
error-list	Add EOL at EOF for all authors.txt files for consistency	2016-07-30 09:25:30 -07:00
inspector	ui.gadgets.slots: removing unnecessary tuples.	2016-12-31 18:54:18 -08:00
listener	ui.tools.listener: make all call-listener use with-ctrl-break.	2016-11-02 11:04:52 -07:00
operations	ui.tools.operations: making "See" an operation on words.	2016-11-09 15:39:59 -08: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	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