Superclass: lively.ide.BrowserNode

Class definition of lively.ide.FileFragmentNode in lively/ide/SystemBrowserNodes.js:86