Hacktoberfest 2026: le issue che i maintainer hanno segnato per ottobre, aperte e adatte ai principianti. Sfoglia le issue Hacktoberfest

Prevent editor "jumping" by using placeholders for Code Minings

Aperta
#3,723 4 commenti 0 reazioni 0 assegnatari Vedi su GitHub

I maintainer di solito rispondono entro 1 giorno

Nessuno ha ancora preso questa issue.

Valutazione

Difficoltà
4/5
Tempo stimato
3-5 giorni
Idoneità per principianti
30/100
Tipo di issue
Funzionalità
Chiarezza
Abbastanza chiara
Stato di attività
Ferma
Stack tecnologico
java
Ambito
desktop

Direzione di ricerca

Start by reading the Code Mining provider and editor integration points to see whether vertical space can be reserved before the asynchronous calculation finishes. The issue is done if placeholders prevent the source code from shifting and the calculated content can appear afterward; if the architecture cannot support pre-allocation, the issue suggests closing it.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Descrizione

enhancement

@tobiasmelcher asked for improvement suggestions for code minings. Here is one:

Description: Currently, when opening a file, Code Minings are calculated asynchronously and injected into the editor upon completion. If this calculation takes more than a few milliseconds, the source code shifts downward unexpectedly while the user is trying to read or edit.

Suggested Improvement: Implement layout reservation or placeholders. If possible, the Code Mining provider should immediately return an empty placeholder of a fixed height. This ensures the space is already allocated, allowing the content to fade in once the calculation is finished without moving the rest of the source code.

If the current architecture doesn't allow for pre-allocating vertical space, please feel free to close this.

Lingua principale
Java
Stelle
124
Fork
269
Merge medio
1g 19h
PR unite (30g)
63

Preparare l'ambiente

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di eclipse-platform/eclipse.platform.ui

Tutte le issue di eclipse-platform/eclipse.platform.ui

Issue simili

Altre issue su Java

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.