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
..
browser	…
common	…
debugger	…
deploy	…
error-list	…
inspector	…
listener	…
operations	…
profiler	…
traceback	…
walker	…
authors.txt	…
summary.txt	…
tags.txt	…
tools-docs.factor	…
tools.factor	…