Skip to content

Follow up issues for Language Status Bar#10437

Merged
Bernardin-MS merged 21 commits intomainfrom
bdezius/10413
Feb 8, 2023
Merged

Follow up issues for Language Status Bar#10437
Bernardin-MS merged 21 commits intomainfrom
bdezius/10413

Conversation

@Bernardin-MS
Copy link
Contributor

@Bernardin-MS Bernardin-MS commented Jan 30, 2023

Issue: #10413

@Bernardin-MS Bernardin-MS marked this pull request as ready for review January 31, 2023 18:38
sean-mcmanus
sean-mcmanus previously approved these changes Feb 6, 2023
sean-mcmanus
sean-mcmanus previously approved these changes Feb 6, 2023
Colengms
Colengms previously approved these changes Feb 6, 2023
michelleangela
michelleangela previously approved these changes Feb 7, 2023
@bobbrow bobbrow added this to the 1.14 milestone Feb 7, 2023
@Bernardin-MS Bernardin-MS merged commit fc4fc00 into main Feb 8, 2023
@Bernardin-MS Bernardin-MS deleted the bdezius/10413 branch February 8, 2023 16:22
@github-actions github-actions bot locked and limited conversation to collaborators Mar 26, 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.

Handle follow up issues for Language Status Bar Establish distinct indexing state in UI for the new UI

5 participants