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 (18,676 stars) (2,478 forks)batch import
bughelp wantedvscode

Description

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

Contributor guide

Tech stack
typescript
Domain
toolingdeveloper experience
Issue type
bug
DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.
3
Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.
half day
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
stale
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
mostly clear
Prerequisites
knowledge of Theia plugin systemeditor decoration concept
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
30
Research direction
Investigate the referenced comment in PR #6921 for reproduction details. Examine the Theia plugin system's handling of editor decorations, particularly in the core editor implementation files like 'packages/editor/src/browser/editor widget.ts'. The cursor jump issue likely relates to incremental decoration updates.