This repository has been archived by the owner on Jul 19, 2019. It is now read-only.
Investigate how we can inject default terminal when che-theia-terminal-extension is hidden. #19
Labels
enhancement
New feature or request
Investigate how we can inject default terminal when che-theia-terminal is hidden. We hide(don't apply contributions) che-theia-terminal-extension in case if che-machine-exec is not running. In this case useful inject default theia terminal if it's possible.
The text was updated successfully, but these errors were encountered: