Open maxg opened 12 years ago
If another user is editing the file concurrently, annotation hovers are hard to read because they disappear every time annotations are recomputed.
Implementation should keep hovers visible.
(Imported from Bitbucket #40 reported by maxg on 2010-09-01)
If another user is editing the file concurrently, annotation hovers are hard to read because they disappear every time annotations are recomputed.
Implementation should keep hovers visible.
(Imported from Bitbucket #40 reported by maxg on 2010-09-01)