Orphan hovers after navigation
View options
Created by: felixfbecker
- Go to PR
- Pin the hover
- Click back button
See stuck hover:
https://github.com/sourcegraph/codeintellify/pull/100 was supposed to fix this (and has unit tests) so either that fix didn't work, or unsubscribe() is not called properly (which could also be caused by the codeview remove not being detected).