fixing terminal toggle

pull/5370/head
davidzagi93@gmail.com 3 years ago
parent 8daab88bc4
commit 1dcf61ceb0
  1. 12
      libs/remix-ui/terminal/src/lib/remix-ui-terminal.tsx

@ -37,7 +37,7 @@ export const RemixUiTerminal = (props: RemixUiTerminalProps) => {
const [newstate, dispatch] = useReducer(registerCommandReducer, initialState) const [newstate, dispatch] = useReducer(registerCommandReducer, initialState)
const [cmdHistory, cmdHistoryDispatch] = useReducer(addCommandHistoryReducer, initialState) const [cmdHistory, cmdHistoryDispatch] = useReducer(addCommandHistoryReducer, initialState)
const [, scriptRunnerDispatch] = useReducer(registerScriptRunnerReducer, initialState) const [, scriptRunnerDispatch] = useReducer(registerScriptRunnerReducer, initialState)
const [, setIsListeningOnNetwork] = useState(false) const [isListeningOnNetwork, setIsListeningOnNetwork] = useState(false)
const [clearConsole, setClearConsole] = useState(false) const [clearConsole, setClearConsole] = useState(false)
const [paste, setPaste] = useState(false) const [paste, setPaste] = useState(false)
const [autoCompletState, setAutoCompleteState] = useState({ const [autoCompletState, setAutoCompleteState] = useState({
@ -101,7 +101,7 @@ export const RemixUiTerminal = (props: RemixUiTerminalProps) => {
if (output) scriptRunnerDispatch({ type: 'script', payload: { message: '5' } }) if (output) scriptRunnerDispatch({ type: 'script', payload: { message: '5' } })
}) })
}, { activate: true }, dispatch) }, { activate: true }, dispatch)
}, [autoCompletState.text]) }, [isListeningOnNetwork, autoCompletState.text])
useEffect(() => { useEffect(() => {
scrollToBottom() scrollToBottom()
@ -178,14 +178,14 @@ export const RemixUiTerminal = (props: RemixUiTerminalProps) => {
} }
} }
const handleMinimizeTerminal = (event) => { const handleMinimizeTerminal = (e) => {
event.preventDefault() e.preventDefault()
event.stopPropagation() e.stopPropagation()
if (toggleDownUp === 'fa-angle-double-down') { if (toggleDownUp === 'fa-angle-double-down') {
setToggleDownUp('fa-angle-double-up') setToggleDownUp('fa-angle-double-up')
event.trigger('resize', []) event.trigger('resize', [])
} else { } else {
const terminalTopOffset = config.get('terminal-top-offset') const terminalTopOffset = config.config.get('terminal-top-offset')
event.trigger('resize', [terminalTopOffset]) event.trigger('resize', [terminalTopOffset])
setToggleDownUp('fa-angle-double-down') setToggleDownUp('fa-angle-double-down')
} }

Loading…
Cancel
Save