factor/basis/ui/tools
John Benediktsson e8cef24486 ui.tools.inspector: improve performance for large arrays and hashtables.
Using trick suggested by @AlexIljin, we compute the longest key and then
set the column widths to be { length-of-longest-key 0 }.
2017-06-11 08:59:45 -07: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.tools.inspector: improve performance for large arrays and hashtables. 2017-06-11 08:59:45 -07: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 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