What unit of measurement does NetBeans use for fonts in the editor and GUI?

[PavelTurk]

In Tools → Options → Font & Colors → Font, we can set the font size. I thought the size was specified in points (pt), but today I ran a few tests, and it seems the size is actually set in pixels (px). Am I correct? Also, should the unit of measurement be explicitly specified there?

For example, in IDEA pt is used. At the same time in VS Code px is used, and this is explicitly stated in the settings UI.

[matthiasblaesing]

It is pt:

netbeans/ide/editor.lib2/src/org/netbeans/modules/editor/lib2/view/ViewUtils.java

Lines 133 to 162 in e016f70

	public static Font getFont(AttributeSet attrs, Font defaultFont) {
	Font font = defaultFont;
	if (attrs != null) {
	String fontName = (String) attrs.getAttribute(StyleConstants.FontFamily);
	Boolean bold = (Boolean) attrs.getAttribute(StyleConstants.Bold);
	Boolean italic = (Boolean) attrs.getAttribute(StyleConstants.Italic);
	Integer fontSizeInteger = (Integer) attrs.getAttribute(StyleConstants.FontSize);
	if (fontName != null || bold != null || italic != null || fontSizeInteger != null) {
	if (fontName == null) {
	fontName = defaultFont.getFontName();
	}
	int fontStyle = (defaultFont != null) ? defaultFont.getStyle() : Font.PLAIN;
	if (bold != null) {
	fontStyle &= ~Font.BOLD;
	if (bold) {
	fontStyle |= Font.BOLD;
	}
	}
	if (italic != null) {
	fontStyle &= ~Font.ITALIC;
	if (italic) {
	fontStyle |= Font.ITALIC;
	}
	}
	int fontSize = (fontSizeInteger != null) ? fontSizeInteger : defaultFont.getSize();
	font = StyleContext.getDefaultStyleContext().getFont(fontName, fontStyle, fontSize);
	}
	}
	return font;
	}

And https://docs.oracle.com/en/java/javase/21/docs/api/java.desktop/javax/swing/text/StyleContext.html#getFont(java.lang.String,int,int)

size - the point size >= 1