eclipse-theia/theia
cursor jumps for editor decorations contributed by plugin system
开放
#7,795 创建于 2020年5月12日
bughelp wantedvscode
仓库指标
- 星标
- (18,676 个星标)
- PR 合并指标
- (平均合并 15天 4小时) (30 天内合并 75 个 PR)
描述
It's reproducible against GitLens extension, see https://github.com/eclipse-theia/theia/pull/6921#issuecomment-624681592