Closed tanhe123 closed 6 years ago
WebIDE terminal close 时,发送 item.close 消息。 并且,当用户输入 exit 等命令时,对返回的 shell.exit 做出相应
fixed by https://github.com/Coding/WebIDE-Frontend/commit/d8c953cda8030f2f494d3edba7fdb24478282a8f
WebIDE terminal close 时,发送 item.close 消息。 并且,当用户输入 exit 等命令时,对返回的 shell.exit 做出相应