Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Fix issues with keybindings list header behavior (#41558) #60217
@sandy081 Do you mean #41789 with "the other PR"? That one has the requested changes, but the author seems to have to intention of getting it updated and merged (they closed it about 5 months ago). PR #59202 on the other hand only fixes the focus problem, but does not move the list header out of the list.
I don't care much about which PR gets merged, as long as it fixes #41558. But I've taken the time to make this PR because there was no other complete and up to date one for this issue. So is there anything I can do to move this forward?
I've rebased to master. Now one of the unit tests fails on Azure Pipelines. The test seems totally unrelated to the changes, and I cannot reproduce the failure locally. Is there a way to re-run the Azure Pipelines build to determine if the test is flaky?