On Windows, the JetbrainsMono font height 13 is greater than on Ubuntu.
The font in windows with size 13 actually appears to be 14. Size 12 is too small. It's as if there was an intermediate size missing between size 12 and 13.
I thought it was due to the difference in rendering on each OS.
However, I tested the old JetbrainsMono Font that are at
I tested JetBrainsMono Font (v1.0.6)
This old v1.0.6 font on Windows has the same height as the v2.304 font (latest release) on Ubuntu.
Then I noticed that there was a change in the height of the JetBrainsMono font for Windows OS starting from version v2.000 which is the version following v1.0.6.
So, there was a change in font height for Windows throughout the releases; That's right?
As I said above: Size 13 is too big, and 12 is too small(Windows). An intermediate size is missing between the two, and this can be seen in the old releases.
IntelliJ IDEA 2023.2.2 (Community Edition)
Build #IC-232.9921.47, built on September 12, 2023
Runtime version: 17.0.8+7-b1000.22 amd64
VM: OpenJDK 64-Bit Server VM by JetBrains s.r.o.
GC: G1 Young Generation, G1 Old Generation