There are two settings files that the Oryon IDE considers:
The file oryon-ide.settings in the user’s home directory. This is where all settings and preferences are stored to.
The file oryon-ide.settings in the current working directory - on Windows, this will usually be the directory where
the batch file to start the IDE resides in. If this file exists, its content will be used to provide fallback values for
settings which are not found in the user’s own settings file. This file is never written to.
The settings files are in an .ini-like plain text format and can be edited manually if needed.
Defining custom fonts
Starting with version 2.6.0, the IDE can be customized to use user-defined fonts for the editor and
input/output fields. Currently, the configuration must be entered by hand in the oryon-ide.settings file, for example:
font.generic.name=Comic Sans MS
The result of this configuration is shown below – no, this is not necessarily the setup that we recommend, but it uses distinctive fonts and sizes so the results can be clearly seen ;-)
All these settings are optional and a default fallback will be used if not provided.
If you are unsure of the font names that can be used, try setting an invalid name and starting the IDE. The console window will print a list of supported fonts in this case.