[code mining] Extra spaces when showing method parameter name hints

[JanecekPetr]

A fresh workspace, a fresh installation of Eclipse for Java,

Version: 2024-09 (4.33.0)
Build id: 20240905-0614
Eclipse Java Development Tools: 3.19.600.v20240903-0240

Parameter name hints enabled:

There are two extra spaces after the parameter name:

I have no idea where the extra spaces are coming from as the code itself seems to only add one:

eclipse.jdt.ui/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/codemining/JavaMethodParameterCodeMining.java

Line 31 in 2886912

text.append(": "); //$NON-NLS-1$

Windows 11 in Czech locale, Java 23

[jukzi]

Feel free to propose a fix.

[jannisCode]

@JanecekPetr I am currently trying to replicate your findings, but even when using the exact version, build id etc, i can´t seem to get your results. Is it possible for you to show me more details about the code you wrote and the settings?
When I try it it looks like this:

(the settings are also just like yours)

[JanecekPetr]

The code is really minimal,

public class Playground {
    public static void main(String... args) {
        Car car = new Car(5);
    }
}

record Car(int size) {}

the point really was to just show any parameter name hint, as all of them behave the same. If you can get any parameter hint anywhere, that should get the same result.

and here's the whole Code mining page:

This is on my regular every-day instance and my regular workspace, but I could do it with a fresh installation and a fresh workspace again, too, if you wanted. The only configuration change I did was to enable code minings and parameter hints.

[jannisCode]

@JanecekPetr Thank you for the quick answer! After testing and looking at the code, i found out that there is some weird behavior going on when checking if the method parameter name should be displayed. (Thats a different issue though)
Anyways, on my machine, with the same eclipse (newly installed) it works just fine. Maybe try reinstalling it, and if it still does not work I can take a closer look at it.

[JanecekPetr]

Okay, I tried another computer, the problem goes away. Interesting.

I tried ruling out a DPI issue (unplugged my monitors, restarted eclipse), the issue remained. I tried switching to a different font, the issue remained. I have absolutely no idea what else this particular machines has that the others don't. If you have any guesses or things for me to try, fire away!

If I ever find it, I'll report back. Until then I think it's safe to close this as unreproducable, or freeze it until someone else comes here with more info.