Changing texts display

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