Superclass: Widget

Class definition of lively.ide.FileVersionViewer in lively/ide.js:39