Code

Fix PseudoTerminal events#12146

Code

Merged

thegecko merged 3 commits intoeclipse-theia:mastereclipse-theia/theia:masterfrom ARMmbed:terminal-eventsARMmbed/theia:terminal-eventsCopy head branch name to clipboardMar 21, 2023

+12-1

Commits

Commits on Feb 3, 2023

• Ensure correct pseudoterminal ID

  Show description for a7eff40
  thegecko

  committed
  a7eff40

Commits on Mar 20, 2023

• Merge branch 'master' into terminal-events

  thegecko

  committed
  8a64ece

• Revert terminal-main.ts

  thegecko

  committed
  9fbc668