Skip to content

Conversation

@lramos15
Copy link
Member

@lramos15 lramos15 commented May 1, 2023

Fixes #181067

Wasn't sure how to best word this, but the feature is working as intended so attempt to improve the wording of the setting to prevent confusion.

@lramos15 lramos15 enabled auto-merge (squash) May 1, 2023 17:32
@lramos15 lramos15 self-assigned this May 1, 2023
@lramos15 lramos15 requested a review from gregvanl May 1, 2023 17:32
@lramos15 lramos15 added this to the May 2023 milestone May 1, 2023
@lramos15 lramos15 disabled auto-merge May 1, 2023 17:52
@lramos15 lramos15 marked this pull request as draft May 1, 2023 17:52
@lramos15 lramos15 marked this pull request as ready for review May 1, 2023 17:52
@lramos15 lramos15 enabled auto-merge (squash) May 1, 2023 17:52
@lramos15 lramos15 marked this pull request as draft May 1, 2023 18:11
auto-merge was automatically disabled May 1, 2023 18:11

Pull request was converted to draft

@lramos15 lramos15 marked this pull request as ready for review May 1, 2023 18:11
@lramos15 lramos15 marked this pull request as draft May 1, 2023 18:19
@lramos15 lramos15 marked this pull request as ready for review May 1, 2023 18:19
@lramos15 lramos15 marked this pull request as draft May 1, 2023 18:37
@lramos15 lramos15 marked this pull request as ready for review May 1, 2023 18:38
@lramos15 lramos15 marked this pull request as draft May 1, 2023 18:43
@lramos15 lramos15 marked this pull request as ready for review May 1, 2023 18:43
@lramos15 lramos15 changed the title Improve semantis of open editors setting Improve semantics of open editors setting May 1, 2023
@lramos15 lramos15 requested a review from gregvanl May 2, 2023 14:42
@lramos15 lramos15 merged commit c6f9cb3 into main May 2, 2023
@lramos15 lramos15 deleted the lramos15/purring-bonobo branch May 2, 2023 15:01
@github-actions github-actions bot locked and limited conversation to collaborators Jun 16, 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.

explorer.openEditors.visible is not "the maximum number of Open Editors shown".

3 participants