factor/basis/ui/tools
Doug Coleman 7c7bb93c55 factor: Rename GENERIC# to GENERIC#:.
Fixes #1670.
2017-06-01 13:58:58 -05: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 factor: Rename GENERIC# to GENERIC#:. 2017-06-01 13:58:58 -05: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
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