Slava Pestov 6e9b2a6c73 Make limited scrollers more versatile: they now have a min-dim and a max-dim		2008-11-19 17:47:12 -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
traceback.factor	Make limited scrollers more versatile: they now have a min-dim and a max-dim	2008-11-19 17:47:12 -06:00