You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Microsoft Edge version 106.0.1370.42 (Official build) (64-bit)
It's been bugging me for some time - the tree almost always requires a page refresh before it appears. Any subsequent action that may require a refresh (like changing to split diff or hide whitespaces) in overwhelming majority of cases leads to the tree disappearing, and that requires an explicit page refresh again...
Here's a quick demo - I'm randomly navigating PRs and the tree is missing unless I refresh.
bpr.mp4
I have disabled all other extensions to verify that the issue isn't caused by any other extensions:
The text was updated successfully, but these errors were encountered:
It's been bugging me for some time - the tree almost always requires a page refresh before it appears. Any subsequent action that may require a refresh (like changing to split diff or hide whitespaces) in overwhelming majority of cases leads to the tree disappearing, and that requires an explicit page refresh again...
Here's a quick demo - I'm randomly navigating PRs and the tree is missing unless I refresh.
bpr.mp4
I have disabled all other extensions to verify that the issue isn't caused by any other extensions:
The text was updated successfully, but these errors were encountered: