eclipse-theia/theia

Command execution buttons (Run | Debug) not available in a JAVA project until we refresh the widget

Open

#7,748 opened on May 5, 2020

View on GitHub
 (9 comments) (0 reactions) (0 assignees)TypeScript (18,676 stars) (2,478 forks)batch import
bughelp wantedjavapreferences

Description

Bug Description:

It looks like there is an event missing for codelens when the editor needs a refresh after a font change. When I change the font, the "RUN" | "Debug" command are missing over the main class in a JAVA project until I refresh (Just use the scroll button) to refresh the widget.

Steps to Reproduce:

1.Have JAVA dependencies available (JAVA pack + maven) in my configuration 2. git clone git@github.com:ryanluker/vscode-coverage-gutters.git ( Create a test environment) 3. Open a file in a JAVA project ( App.java) --> Observe the buttons: "Run " | "Debug" showing over the main class 4. Open the preference and change the "editor.fontSize": 22 5. Return to the JAVA file --> The "Run" | "Debug" buttons are not available until you scroll to refresh the widget

Additional Information

  • Operating System: Ubuntu 18.04
  • Theia Version: latest commit 57f4c937c94f68f17c27010543be536cfb93d34b

RefreshMissingAfterFontChange

Contributor guide

Tech stack
typescript
Domain
frontenddeveloper 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.
clear
Prerequisites
TypeScriptTheia extension development
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
60
Research direction
Investigate the code lens rendering in the editor widget. The bug occurs when font size changes, so check the event handling for configuration changes. Look at the CodeLensProvider or related classes in the source code to understand why a scroll is needed to refresh the buttons.