Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[vscode] Support Terminal#creationOptions #11138

Closed
Tracked by #9863
planger opened this issue May 11, 2022 · 1 comment · Fixed by #11623
Closed
Tracked by #9863

[vscode] Support Terminal#creationOptions #11138

planger opened this issue May 11, 2022 · 1 comment · Fixed by #11623
Assignees
@jfaltermeier
Labels
terminal issues related to the terminal vscode issues related to VSCode compatibility

Comments

@planger
Copy link
Contributor

planger commented May 11, 2022

Feature Description:

Support specifying the already (partially) supported TerminalOptions in Terminal#creationOptions.
@vince-fugnitto vince-fugnitto added terminal issues related to the terminal vscode issues related to VSCode compatibility labels May 11, 2022
@JonasHelming JonasHelming mentioned this issue May 13, 2022
Closed
48 tasks
@jfaltermeier jfaltermeier self-assigned this Jun 21, 2022
@jfaltermeier
Copy link
Contributor

I will take a look at this

jfaltermeier added a commit to eclipsesource/theia that referenced this issue Jun 21, 2022
@jfaltermeier
[vscode] Support Terminal#creationOptions eclipse-theia#11138
961ea8d 
Signed-off-by: Johannes Faltermeier <[email protected]>

Contributed on behalf of STMicroelectronics
jfaltermeier added a commit to eclipsesource/theia that referenced this issue Jun 24, 2022
@jfaltermeier
[vscode] Support Terminal#creationOptions eclipse-theia#11138
fea75ba 
Signed-off-by: Johannes Faltermeier <[email protected]>

Contributed on behalf of STMicroelectronics
This was referenced Aug 3, 2022
Closed
Closed
Closed
Closed
jfaltermeier added a commit to eclipsesource/theia that referenced this issue Aug 31, 2022
@jfaltermeier
[vscode] Support Terminal#creationOptions eclipse-theia#11138
bea1a53 
Signed-off-by: Johannes Faltermeier <[email protected]>

Contributed on behalf of STMicroelectronics
@jfaltermeier jfaltermeier mentioned this issue Aug 31, 2022
Merged
1 task
jfaltermeier added a commit to eclipsesource/theia that referenced this issue Sep 1, 2022
@jfaltermeier
[vscode] Support Terminal#creationOptions eclipse-theia#11138
4b464e2 
Signed-off-by: Johannes Faltermeier <[email protected]>
Co-authored-by: Vincent Fugnitto <[email protected]>

Contributed on behalf of STMicroelectronics
jfaltermeier added a commit that referenced this issue Sep 1, 2022
@jfaltermeier
[vscode] Support Terminal#creationOptions #11138
9e5db77 
Signed-off-by: Johannes Faltermeier <[email protected]>
Co-authored-by: Vincent Fugnitto <[email protected]>

Contributed on behalf of STMicroelectronics
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jfaltermeier jfaltermeier

Labels
terminal issues related to the terminal vscode issues related to VSCode compatibility
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

[vscode] Support Terminal#creationOptions #11138 eclipsesource/theia
3 participants
@planger @jfaltermeier @vince-fugnitto