IDE Settings
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.editor.name=Courier New
font.editor.size=24
font.generic.name=Comic Sans MS
font.generic.size=16
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.