pull/1/head
yann300 6 years ago
parent 6334613215
commit 7cbe06f904
  1. 2
      src/app/panels/editor-panel.js

@ -59,7 +59,7 @@ class EditorPanel {
}
})
}
self._components.terminal.event.register('filterChanged', (type, value) => {
this.event.trigger('terminalFilterChanged', [type, value])
})

Loading…
Cancel
Save