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.

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

rm terminal tab focus mode #192000

Merged
merged 4 commits into from
Sep 6, 2023
Merged

rm terminal tab focus mode #192000

merged 4 commits into from
Sep 6, 2023

Conversation

meganrogge
Copy link
Contributor

fixes #191938

@meganrogge meganrogge self-assigned this Sep 1, 2023
@meganrogge meganrogge added this to the September 2023 milestone Sep 1, 2023
@meganrogge meganrogge marked this pull request as draft September 5, 2023 13:14
auto-merge was automatically disabled September 5, 2023 13:14

Pull request was converted to draft

@meganrogge meganrogge marked this pull request as ready for review September 5, 2023 14:14
@meganrogge
Copy link
Contributor Author

@Tyriar not sure, but think you missed this

@meganrogge meganrogge merged commit 93ac274 into main Sep 6, 2023
6 checks passed
@meganrogge meganrogge deleted the merogge/rm-tab-focus-mode branch September 6, 2023 18:22
@@ -726,7 +726,7 @@ export interface IEditorOptions {
pasteAs?: IPasteAsOptions;

/**
* Controls whether the editor receives tabs or defers them to the workbench for navigation.
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We shouldn't mention terminal anywhere in vs/editor

@@ -3690,7 +3690,7 @@ declare namespace monaco.editor {
*/
pasteAs?: IPasteAsOptions;
/**
* Controls whether the editor receives tabs or defers them to the workbench for navigation.
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We really shouldn't mention terminal here as it's monaco's public API where a terminal doesn't exist.

Comment on lines +326 to +330
if (tabFocusMode !== undefined) {
this.onTabFocusModeChange(tabFocusMode);
} else {
this.onTabFocusModeChange(this.configurationService.getValue('editor.tabFocusMode'));
}
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice imo:

this.onTabFocusModeChange(tabFocusMode ?? this.configurationService.getValue('editor.tabFocusMode'));

@github-actions github-actions bot locked and limited conversation to collaborators Oct 21, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

[Accessibility] Consider removing "terminal.integrated.tabFocusMode"
3 participants