Kenya Font options
The Kenya IDE allows some minimal customization of the fonts
which are used for text display. These options can be
set using the options window shown below. The options window
can be brought up by clicking the Options button on
the main Kenya window toolbar.
From this window you can to accomplish the following:-
- Set to use a small font or large font.
- Set the number of spaces to display tabs characters as,
in the Kenya text editor.
- Change the colours used in syntax highlighting.