eclipse-jdt / eclipse-jdt/eclipse.jdt.ui

Text in package explorer becomes bolder

Open
#70 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
Java
Stars
59
Forks
127
Avg merge
22h 47m
Merged PRs (30d)
28

Description

Text in Package Explorer starts rendering correctly, but as I work it gradually becomes bolder and bolder. If I force a re-render by say alt-tabbing back and forth or hovering the text in question, then it will reset to normal font weight, and start over on its journey.

One way I can force it to happen is to open a java file, introduce a compilation error, save it, remove the error, save it, reintroduce it, save, and so on. This may or may not be the only way.

This has been happening for me with Eclipse on Ubuntu for a long time, during which I have upgraded Ubuntu multiple times. Yesterday I was using the snap version of Eclipse on Ubuntu 22.04 which was affected. I decided to upgrade to see if that would solve it, so I installed openjdk17 (I previously had both 8 and 11 installed, and I'm unsure which I was using) and the Eclipse 2022-03 (4.23.0) using the installer from the Eclipse website, making sure to pick jdk17 in the installer. However the issue was still there. I created a new workspace, and a new barebones project within that workspace, and the issue was still there.

This is a picture of what it can look like. Notice that the jre system library is shown in bold. ![bold2](https://user-images.githubusercontent.com/1970660/170739715-4c7ceeb4-cd32-40c5-88c1-1c4de29b9e04.png)

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.