Update editor panel

pull/1/head
serapath 7 years ago
parent 558d25ed73
commit 22b3f9d927
  1. 2
      src/app/panels/editor-panel.js

@ -221,7 +221,7 @@ class EditorPanel {
}
log () {
var self = this
self._components.terminal.log.apply(self._components.terminal, arguments)
self._components.terminal._output.apply(self._components.terminal, arguments)
}
_renderTabsbar () {
var self = this

Loading…
Cancel
Save