]> gitweb.factorcode.org Git - factor.git/commit
ui.tools.traceback: make it a tool window so that its size is saved, and workspace...
authorSlava Pestov <slava@factorcode.org>
Mon, 28 Jun 2010 21:10:06 +0000 (17:10 -0400)
committerSlava Pestov <slava@factorcode.org>
Mon, 28 Jun 2010 21:10:15 +0000 (17:10 -0400)
commit350a6522c73d1d6799391686bc8389c097414d3f
treea1e2008523c50e16edb8692182dd1f3ae6a88905
parent8c9c0f05d2d2b1ee638a7a0f8561cab0fa926888
ui.tools.traceback: make it a tool window so that its size is saved, and workspace shortcuts work
basis/ui/tools/traceback/traceback.factor