Code

Support for terminal profiles. #12066

Code

Merged

tsmaeder merged 4 commits intoeclipse-theia:mastereclipse-theia/theia:masterfrom tsmaeder:11503_terminal_profile_api_2tsmaeder/theia:11503_terminal_profile_api_2Copy head branch name to clipboardJan 19, 2023

+939-66

Commits

Commits on Jan 17, 2023

• Support for terminal profiles. Fixes eclipse-theia#11503

  Show description for cfabf39
  tsmaeder

  committed
  cfabf39

  Copy full SHA for cfabf39

• Addressed first batch of comments

  Show description for eadd849
  tsmaeder

  committed
  eadd849

  Copy full SHA for eadd849

• Use single string constants for i18n default strings

  Show description for 7293a08
  tsmaeder

  committed
  7293a08

  Copy full SHA for 7293a08

Commits on Jan 19, 2023

• Renamed profile:new

  Show description for 221976a
  tsmaeder

  committed
  221976a

  Copy full SHA for 221976a