Lua Editor Font

zawp October 1, 2025, 3:00pm 1

Is there any way to change the font used in the Lua Editor?

Topic		Replies	Views
Choose font for Lua editor Ideas / Feature requests	0	37	October 13, 2025
QOL improvements for us developers Ideas / Feature requests	0	126	September 21, 2023
Allow graphics.print() to use a larger fonts Ideas / Feature requests	4	31	July 20, 2026
Visual Editor Ideas / Feature requests	0	230	March 27, 2022
Optional monospace font Ideas / Feature requests	1	113	November 11, 2024