Use this page to configure font for the PyCharm Edu editor.
Use this option to select your font. The Show only monospaced fonts option if selected shortens the list of available fonts.
Select the size of your font. If you need to quickly change the font size while in the editor, use the Change font size (Zoom) with Ctrl+Mouse Wheel option located in .
Specify the factor of the point size to define the vertical distance between lines of code in the editor. The default value
Select a font to use if PyCharm Edu encounters a character that is not part of the main font.
Enable font ligatures
Select this option to enable font ligatures.
This option becomes available when you override the default font settings through the Console Font page located in . Press this option, if you need to restore your default settings.