fix terminal minimzing

pull/1/head
yann300 6 years ago
parent b6c5ad6885
commit 3dc104d11e
  1. 2
      src/app/panels/editor-panel.js

@ -127,7 +127,7 @@ class EditorPanel {
if (delta === undefined) {
layout.show = !layout.show
if (layout.show) delta = layout.offset
else delta = containerHeight
else delta = 0
} else {
layout.show = true
self._deps.config.set(`terminal-${direction}-offset`, delta)

Loading…
Cancel
Save