Handle the case where no default terminal profile is set no startup#12191
Merged
tsmaeder merged 2 commits intoeclipse-theia:masterfrom tsmaeder:12119_handle_no_dflt_profileFeb 21, 2023
+5-3
Commits
Commits on Feb 17, 2023
Commits on Feb 21, 2023
- committed