ui.tools.traceback: make it a tool window so that its size is saved, and workspace shortcuts work
ui.tools.traceback: make it a tool window so that its size is saved, and workspace shortcuts work

bpollack/factor,tgunr/factor,mrjbq7/factor,bpollack/factor,sarvex/factor-lang,sarvex/factor-lang,factor/factor,bjourne/factor,dch/factor,nicolas-p/factor,nicolas-p/factor,slavapestov/factor,bpollack/factor,nicolas-p/factor,nicolas-p/factor,mrjbq7/factor,mrjbq7/factor,bjourne/factor,tgunr/factor,AlexIljin/factor,factor/factor,dch/factor,bjourne/factor,AlexIljin/factor,AlexIljin/factor,AlexIljin/factor,dch/factor,bpollack/factor,tgunr/factor,slavapestov/factor,mrjbq7/factor,dch/factor,bpollack/factor,dch/factor,sarvex/factor-lang,slavapestov/factor,factor/factor,mrjbq7/factor,tgunr/factor,slavapestov/factor,tgunr/factor,factor/factor,bjourne/factor,factor/factor,bjourne/factor,nicolas-p/factor,AlexIljin/factor,AlexIljin/factor,sarvex/factor-lang,bjourne/factor,tgunr/factor,factor/factor,sarvex/factor-lang,slavapestov/factor,AlexIljin/factor,dch/factor,nicolas-p/factor,sarvex/factor-lang,slavapestov/factor,bpollack/factor,bpollack/factor,nicolas-p/factor,sarvex/factor-lang,mrjbq7/factor,bjourne/factor,slavapestov/factor