Superclass: Widget

Class definition of lively.ide.ErrorStackViewer in lively/ide.js:303