mirror
/
remix-project
mirror of https://github.com/ethereum/remix-project.git
2
0
Fork 0
Code Issues Releases Wiki Activity

lint

Browse Source
pull/4566/head
bunsenstraat 12 months ago
parent f31c688a89
commit a2fff3a601
1 changed files with 2 additions and 1 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 3
      libs/remix-ui/xterm/src/lib/reducer/index.ts

3
libs/remix-ui/xterm/src/lib/reducer/index.ts
Unescape View File

@ -40,7 +40,7 @@ export const xtermReducer = (state = xTerminInitialState, action: Actions) => {
...state, ...state,
terminals: state.terminals.map(terminal => ({ ...terminal, hidden: true })) terminals: state.terminals.map(terminal => ({ ...terminal, hidden: true }))
} }
case 'REMOVE_TERMINAL': case 'REMOVE_TERMINAL': {
const removed = state.terminals.filter(xtermState => xtermState.pid !== action.payload) const removed = state.terminals.filter(xtermState => xtermState.pid !== action.payload)
if (removed.length > 0) if (removed.length > 0)
removed[removed.length - 1].hidden = false removed[removed.length - 1].hidden = false
@ -48,6 +48,7 @@ export const xtermReducer = (state = xTerminInitialState, action: Actions) => {
...state, ...state,
terminals: removed terminals: removed
} }
}
case 'ADD_SHELLS': case 'ADD_SHELLS':
return { return {
...state, ...state,

Write Preview
Loading…
Cancel
Save