eclipse-theia/theia

cursor jumps for editor decorations contributed by plugin system

开放

#7,795 创建于 2020年5月12日

 (0 条评论) (0 个反应) (0 位负责人)TypeScript (2,478 个派生)batch import
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

贡献者指南