fixed resizing of the terminal

pull/1342/head
davidzagi93@gmail.com 4 years ago
parent fed807335e
commit 8f28e07e36
  1. 1
      apps/remix-ide/src/app/panels/terminal.js
  2. 2
      libs/remix-ui/terminal/src/lib/remix-ui-terminal.tsx

@ -125,6 +125,7 @@ class Terminal extends Plugin {
}
renderComponent () {
ReactDOM.render(
<RemixUiTerminal
event = {this.event}

@ -260,7 +260,6 @@ export const RemixUiTerminal = (props: RemixUiTerminalProps) => {
props.event.trigger('resize', [terminalTopOffset])
setToggleDownUp('fa-angle-double-down')
}
console.log(props.event, 'event.trigger')
}
const focusinput = () => {
@ -304,6 +303,7 @@ export const RemixUiTerminal = (props: RemixUiTerminalProps) => {
}
if (event.which === 13 && !autoCompletState.showSuggestions) {
if (event.ctrlKey) { // <ctrl+enter>
console.log(event.which === 32, ' enter key')
// on enter, append the value in the cli input to the journal
inputEl.current.focus()
} else { // <enter>

Loading…
Cancel
Save