-
Notifications
You must be signed in to change notification settings - Fork 2.5k
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.
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
[vscode] Support optional properties iconPath
and color
in TerminalOptions
and ExtensionTerminalOptions
#11504
Closed
2 tasks
Tracked by
#11520
Labels
vscode
issues related to VSCode compatibility
Comments
This was referenced Aug 3, 2022
planger
changed the title
[vscode] Support optional properties
[vscode] Support optional properties Sep 7, 2022
iconPath
and color
in ExtensionTerminalOptions
iconPath
and color
in TerminalOptions
and ExtensionTerminalOptions
I will work on this task, please assign it to me. |
rschnekenbu
added a commit
to eclipsesource/theia
that referenced
this issue
Jan 3, 2023
in TerminalOptions and ExtensionTerminalOptions Contributed on behalf of STMicroelectronics Fixes eclipse-theia#11504
rschnekenbu
added a commit
to eclipsesource/theia
that referenced
this issue
Jan 10, 2023
in TerminalOptions and ExtensionTerminalOptions Contributed on behalf of STMicroelectronics Fixes eclipse-theia#11504
rschnekenbu
added a commit
to eclipsesource/theia
that referenced
this issue
Jan 10, 2023
in TerminalOptions and ExtensionTerminalOptions Contributed on behalf of STMicroelectronics Fixes eclipse-theia#11504
rschnekenbu
added a commit
to eclipsesource/theia
that referenced
this issue
Jan 11, 2023
in TerminalOptions and ExtensionTerminalOptions Contributed on behalf of STMicroelectronics Fixes eclipse-theia#11504
rschnekenbu
added a commit
to eclipsesource/theia
that referenced
this issue
Jan 12, 2023
in TerminalOptions and ExtensionTerminalOptions Contributed on behalf of STMicroelectronics Fixes eclipse-theia#11504
JonasHelming
pushed a commit
that referenced
this issue
Jan 12, 2023
in TerminalOptions and ExtensionTerminalOptions Contributed on behalf of STMicroelectronics Fixes #11504
@rschnekenbu Should we add a new ticket for the stubbed parts and add it to the stub umbrella ticket? |
#12074 will track down the remaining part of the work. I'll ask Philip to edit the umbrella ticket. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
The type
TerminalOptions
andExtensionTerminalOptions
miss the optional properties:iconPath
: The icon path orThemeIcon
for the terminalcolor
:ThemeColor
for the terminalRelated VSCode API issues:
TerminalProfileProvider
#11503Terminal#creationOptions
#11138location
in terminal options #11506The text was updated successfully, but these errors were encountered: