Slava Pestov 6b672a11fa ui.gadgets.editors: rename min-width and max-width slots of field to min-cols and max-cols, re-use line-support code, more accurate dimension calculation that takes field border size into account		2009-02-16 04:25:58 -06:00
..
browser	ui.gadgets.editors: rename min-width and max-width slots of field to min-cols and max-cols, re-use line-support code, more accurate dimension calculation that takes field border size into account	2009-02-16 04:25:58 -06:00
common	Add common tool commands: F2, A+l, A+L, A+b, A+B	2009-01-08 18:56:39 -06:00
debugger	ui.gadgets.tables: add support for column headers	2009-02-16 04:25:15 -06:00
deploy	Remove new-gadget since it was just an alias for new	2009-02-16 04:04:32 -06:00
inspector	ui.gadgets.tables: add support for column headers	2009-02-16 04:25:15 -06:00
listener	ui.gadgets.tables: add support for column headers	2009-02-16 04:25:15 -06:00
operations	ui.tools.operations: fix shortcut for profiler	2009-02-11 04:56:15 -06:00
profiler	ui.gadgets.tables: add support for column headers	2009-02-16 04:25:15 -06:00
traceback	ui.gadgets.tables: add support for column headers	2009-02-16 04:25:15 -06:00
walker	Add horizontal and vertical orientation constants, working on baseline alignment	2009-02-02 00:02:55 -06:00
authors.txt	…
summary.txt	…
tags.txt	…
tools-docs.factor	Fix conflict	2009-01-27 15:49:49 -06:00
tools.factor	Add 'Inspect model' operation	2009-02-05 04:00:27 -06:00