eclipse-theia/theia

cursor jumps for editor decorations contributed by plugin system

Open

#7,795 opened on May 12, 2020

View on GitHub
 (0 comments) (0 reactions) (0 assignees)TypeScript (2,478 forks)batch import
bughelp wantedvscode

Repository metrics

Stars
 (18,676 stars)
PR merge metrics
 (Avg merge 15d 4h) (75 merged PRs in 30d)

Description

It's reproducible against GitLens extension, see https://github.com/eclipse-theia/theia/pull/6921#issuecomment-624681592

Contributor guide