Merge pull request #932 from ethereum/terminal-resize

FIX terminal resize on window resize
pull/1/head
yann300 7 years ago committed by GitHub
commit b7b09951e3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 5
      src/app/panels/terminal.js

@ -328,6 +328,11 @@ class Terminal {
var placeholder = yo`<div class=${css2.anchor}>${background}${text}</div>`
var inserted = false
window.addEventListener('resize', function (event) {
self.event.trigger('resize', [])
self.event.trigger('resize', [])
})
function focusinput (event) {
if (self._view.journal.offsetHeight - (self._view.term.scrollTop + self._view.term.offsetHeight) < 50) {
refocus()

Loading…
Cancel
Save