Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Fix: Dragging editor tab onto pinned tab bar container not working #194597

Merged
merged 1 commit into from
Oct 3, 2023
Merged

Fix: Dragging editor tab onto pinned tab bar container not working #194597

merged 1 commit into from
Oct 3, 2023

Conversation

benibenj
Copy link
Contributor

@benibenj benibenj commented Oct 2, 2023

Fix #194594

@benibenj benibenj self-assigned this Oct 2, 2023
@benibenj benibenj added the candidate Issue identified as probable candidate for fixing in the next release label Oct 2, 2023
@benibenj benibenj added this to the September 2023 milestone Oct 2, 2023
@benibenj benibenj marked this pull request as ready for review October 3, 2023 07:39
@benibenj benibenj enabled auto-merge October 3, 2023 10:57
@benibenj benibenj requested a review from bpasero October 3, 2023 12:40
@benibenj benibenj merged commit e7e0370 into release/1.83 Oct 3, 2023
@benibenj benibenj deleted the benibenj/candidateFixEditorToPinnedContainer branch October 3, 2023 13:06
@github-actions github-actions bot locked and limited conversation to collaborators Nov 17, 2023
# for free to subscribe to this conversation on GitHub. Already have an account? #.
Reviewers

@bpasero bpasero bpasero approved these changes

Assignees

@benibenj benibenj

Labels
candidate Issue identified as probable candidate for fixing in the next release
Projects
None yet
Milestone
September 2023
Development

Successfully merging this pull request may close these issues.
2 participants
@benibenj @bpasero