Slava Pestov f8ab4be9da Line gadgets now support min/max rows/cols; this obsoletes limited-scroller		2009-02-15 04:01:57 -06:00
..
browser	Various UI cosmetic fixes	2009-02-14 20:46:35 -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	New look for labeled gadgets	2009-02-14 00:45:10 -06:00
deploy	Listener doesn't print a garbage quotation when commands are invoked	2009-02-12 09:48:05 -06:00
inspector	Kill ui.gadgets.theme	2009-02-14 19:50:22 -06:00
listener	Line gadgets now support min/max rows/cols; this obsoletes limited-scroller	2009-02-15 04:01:57 -06:00
operations	ui.tools.operations: fix shortcut for profiler	2009-02-11 04:56:15 -06:00
profiler	New look for tabbed gadgets	2009-02-15 02:15:51 -06:00
traceback	Rename labelled to labeled -- correct spelling	2009-02-14 19:48:32 -06:00
walker	Add horizontal and vertical orientation constants, working on baseline alignment	2009-02-02 00:02:55 -06: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	Fix conflict	2009-01-27 15:49:49 -06:00
tools.factor	Add 'Inspect model' operation	2009-02-05 04:00:27 -06:00