refreshVersions
refreshVersions copied to clipboard
Version alignement issue
- [x] I have read the guidelines for submitting issues
🐛 Describe the bug
The alignement of the versions in the version catalog is incorrect
⚠️ Current behavior
All available versions are misaligned with the currently defined one by one space, see image below
✅ Expected behavior
The available versions should be aligned with the currently defined version instead
💣 Steps to reproduce
Just implement refreshVersions in a project
📱 Tech info
Do you use a custom font? Which OS are you on?
Currently I am on Windows and I use the Inter font with the new UI (which could be the culprit)
I'll admit I didn't think about blaming the font at first considering the behaviour is correct in the versions.properties
file 🤔
One thing I noticed is the appearance of the arrow in the comment which doesn't appear in the versions.properties
so that could be a fix
The problem is that the width of the arrow changes from one font to the other, and I don't see how we would detect the font is different. Do you have the same problem when using the default font?
I'll check the behaviour with the default font but this might be the issue simply (I apologise if that's the case)
An a side note, why use arrows in the versions catalog and not the versions.properties
file ? Just out of curiosity 😁
Historical reasons, and we have the version.
prefix in versions.properties
, which gives more room to the word available
without messing alignment for short keys.
The arrow is also only one character wide in IntelliJ IDEA: (Using its default font "JetBrains Mono".)
It's worse in VS Code with "Droid Sans Mono", since it no longer matches the grid:
I also have the default font, and I get 1.8-ish character width FYI, like in VS Code, which keeps the alignement good enough for keyboard @GeorgEchterling.
Which OS @GeorgEchterling?
@LouisCAD Fedora Linux 38 (GNOME, Wayland)
I think IntelliJ IDEA automatically scales down wide characters, since changing the font to Droid Sans Mono doesn't increase the character's width. Or maybe both fonts just don't contain the arrow and the two apps use different fallback fonts. I don't know how to test that.