[vscode] Support specifying the location in terminal options
#11506
Assignees
Comments
This was referenced Aug 3, 2022
|
I'll have a look at this. |
xai
added a commit
to eclipsesource/theia
that referenced
this issue
Dec 9, 2022
* Add support for TerminalOptions.location * Add definitions for TerminalLocation, TerminalEditorLocationOptions, and TerminalSplitLocationOptions This is needed for VSCode compatibility * Keep (bottom) as default target Fixes eclipse-theia#11506 Contributed on behalf of STMicroelectronics Signed-off-by: Olaf Lessenich <[email protected]>
1 task
xai
added a commit
to eclipsesource/theia
that referenced
this issue
Dec 9, 2022
* Add support for TerminalOptions.location * Add definitions for TerminalLocation, TerminalEditorLocationOptions, and TerminalSplitLocationOptions This is needed for VSCode compatibility * Keep (bottom) as default target Fixes eclipse-theia#11506 Contributed on behalf of STMicroelectronics Signed-off-by: Olaf Lessenich <[email protected]>
xai
added a commit
to eclipsesource/theia
that referenced
this issue
Dec 14, 2022
* Add support for TerminalOptions.location * Implement TerminalLocation * Implement TerminalSplitLocationOptions * Implement TerminalEditorLocationOptions * Keep (bottom area aka TerminalLocation.Panel) as default target Fixes eclipse-theia#11506 Contributed on behalf of STMicroelectronics Signed-off-by: Olaf Lessenich <[email protected]>
xai
added a commit
to eclipsesource/theia
that referenced
this issue
Dec 14, 2022
* Add support for TerminalOptions.location * Implement TerminalLocation * Implement TerminalSplitLocationOptions * Implement TerminalEditorLocationOptions * Keep (bottom area aka TerminalLocation.Panel) as default target Fixes eclipse-theia#11506 Contributed on behalf of STMicroelectronics Signed-off-by: Olaf Lessenich <[email protected]>
xai
added a commit
to eclipsesource/theia
that referenced
this issue
Dec 19, 2022
* Add support for TerminalOptions.location * Implement TerminalLocation * Implement TerminalSplitLocationOptions * Implement TerminalEditorLocationOptions * Keep (bottom area aka TerminalLocation.Panel) as default target Fixes eclipse-theia#11506 Contributed on behalf of STMicroelectronics Co-authored-by: Lucas Koehler <[email protected]> Signed-off-by: Olaf Lessenich <[email protected]>
1 task
xai
added a commit
to eclipsesource/theia
that referenced
this issue
Jan 4, 2023
* Add support for TerminalOptions.location * Implement TerminalLocation * Implement TerminalSplitLocationOptions * Implement TerminalEditorLocationOptions * Keep (bottom area aka TerminalLocation.Panel) as default target Fixes eclipse-theia#11506 Contributed on behalf of STMicroelectronics Co-authored-by: Lucas Koehler <[email protected]> Signed-off-by: Olaf Lessenich <[email protected]>
JonasHelming
pushed a commit
that referenced
this issue
Jan 9, 2023
* vscode: Support location in TerminalOptions * Add support for TerminalOptions.location * Implement TerminalLocation * Implement TerminalSplitLocationOptions * Implement TerminalEditorLocationOptions * Keep (bottom area aka TerminalLocation.Panel) as default target Fixes #11506 Contributed on behalf of ST Microelectronics Signed-off-by: Olaf Lessenich <[email protected]> Co-authored-by: Lucas Koehler <[email protected]>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
The enum type
TerminalLocationdefines where a terminal shall be located (PanelorEditor) and can be specified in the propertylocationof:TerminalOptions: missing optional propertylocationExtensionTerminalOptions: missing optional propertylocationTerminalEditorLocationOptions: entire type is missingTerminalSplitLocationOptions: entire type is missingRelated VSCode API issues:
Terminal#creationOptions#11138iconPathandcolorinTerminalOptionsandExtensionTerminalOptions#11504TerminalProfileProvider#11503The text was updated successfully, but these errors were encountered: