From dfe6deca47ff3b3ac7da8f7130c9bced31566840 Mon Sep 17 00:00:00 2001
From: yann300 <yann.levreau@gmail.com>
Date: Wed, 6 Sep 2017 10:20:21 +0200
Subject: [PATCH] add log function

---
 src/app/panels/editor-panel.js | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/app/panels/editor-panel.js b/src/app/panels/editor-panel.js
index 818d0417ea..7447165e2d 100644
--- a/src/app/panels/editor-panel.js
+++ b/src/app/panels/editor-panel.js
@@ -236,6 +236,11 @@ class EditorPanel {
     var self = this
     self._view.tabs.onmouseenter()
   }
+  log (data = {}) {
+    var self = this
+    var command = self._components.terminal.commands[data.type]
+    if (typeof command === 'function') command(data.value)
+  }
   render () {
     var self = this
     if (self._view.el) return self._view.el