What is the font used in the Godot output panel?

Help
1

Godot Version

4.2.1

Question

What is the font used in the Godot output panel? I’ve been looking everywhere for this, and I can’t find the answer. I know the editor uses JetBrainsMono, but the output panel uses a different font, but can’t figure out what it is. Does anyone know? Thanks.

2

Here are how it generates the fonts the editor uses godot/editor/themes/editor_fonts.cpp at master · godotengine/godot · GitHub and here are the fonts the editor uses godot/thirdparty/fonts at master · godotengine/godot · GitHub

Unless you override it then it seems to also be using the JetBrainsMono font

3

I’m not overriding it. It seems it might be the same indeed, however it looks different if you compare them, the font in the output panel seems squashed down or with less space vertically, any idea which one it is? I couldn’t see any font variation of JetBrainsMono with these properties. Any idea how I could recreate this effect?