Superclass: lively.ide.FileFragmentNode

Class definition of lively.ide.TraitFragmentNode in lively/ide/SystemBrowserNodes.js:761