By modifying EiffelStudio preferences, you can change the font and the colors used to display texts in the editor. For more information, refer to EiffelStudio graphical preferences reference .

See Also:
Customizing formatted output

b7c1cbac-975b-c6e6-050b-e48b61732a57