| 1472 | extend(UiPluginManager, superClass); |
| 1473 | |
| 1474 | function UiPluginManager() { |
| 1475 | this.renderBottomRestart = bind(this.renderBottomRestart, this); |
| 1476 | this.handleRestartClick = bind(this.handleRestartClick, this); |
| 1477 | this.render = bind(this.render, this); |
| 1478 | this.createProjector = bind(this.createProjector, this); |
| 1479 | this.updatePlugins = bind(this.updatePlugins, this); |
| 1480 | this.onOpenWebsocket = bind(this.onOpenWebsocket, this); |
| 1481 | return UiPluginManager.__super__.constructor.apply(this, arguments); |
| 1482 | } |
| 1483 | |
| 1484 | UiPluginManager.prototype.init = function() { |
| 1485 | this.plugin_list_builtin = new PluginList(); |