eclipse-theia/theia

cursor jumps for editor decorations contributed by plugin system

Open

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

在 GitHub 查看
 (0 评论) (0 反应) (0 负责人)TypeScript (18,676 star) (2,478 fork)batch import
bughelp wantedvscode

描述

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

贡献者指南