Superclass: lively.ide.BrowserCommand

Class definition of lively.ide.RefreshCommand in lively/ide/BrowserCommands.js:42