The OpenD Programming Language

IntegratedTerminalEmulatorConfiguration.fontSize

Font to use in the window. It should be a monospace font, and your selection may not actually be used if not available on the user's system, in which case it will fallback to one.

struct IntegratedTerminalEmulatorConfiguration
int fontSize;

Meta

History

Implemented March 26, 2020

On January 16, 2021, I changed the default to be a fancier font than the underlying terminalemulator.d uses ("monospace" on Linux and "Consolas" on Windows, though I will note that I do *not* guarantee this won't change.) On January 18, I changed the default size.

If you want specific values for these things, you should set them in your own application.

On January 12, 2022, I changed the font size to be auto-scaled with detected dpi by default. You can undo this by setting scaleFontSizeWithDpi to false. On March 22, 2022, I tweaked this slightly to only scale if the font point size is not already scaled (e.g. by Xft.dpi settings) to avoid double scaling.