Slava Pestov 350a6522c7 ui.tools.traceback: make it a tool window so that its size is saved, and workspace shortcuts work		2010-06-28 17:10:15 -04: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	ui.tools.traceback: make it a tool window so that its size is saved, and workspace shortcuts work	2010-06-28 17:10:15 -04:00