godot-docs/reference/changing_editor_fonts.rst

14 lines
548 B
ReStructuredText
Raw Normal View History

2016-02-08 23:45:57 +01:00
.. _doc_changing_editor_fonts:
2015-12-12 17:57:44 +01:00
Changing editor fonts
=====================
Godot allows changing the font for the editor, and the font for the code
editor. Both need to be in .fnt format, so they need to be imported
2016-02-08 23:45:57 +01:00
somewhere using the :ref:`font import tool <doc_importing_fonts>`.
2015-12-12 17:57:44 +01:00
2016-02-24 08:09:26 +01:00
Then copy or do whatever you want with the font, as long as the
2015-12-12 17:57:44 +01:00
location does not change, and set the relevant property in Editor
Settings. Code editor font is refreshed automatically, but the editor
needs to be restarted for the new global font to take effect.