Settings

This Chapter covers all options in File -> Settings

General

General settings.

Theme

The supported themes are described in the table underneath. Each theme changes the style of the UI, gameboard and editor.

Theme	Description
Light	A light theme
Dark	A dark theme
Midnight	A black dark theme
System standard	Automatically chooses between “Light” and “Dark” based on your OS settings

Language

English and German are supported.

Editor

Editor settings.

Fontsize

Specify the editor’s fontsize.

Tabwidth

Specify the amount of space characters in a tabulator.

World

World settings.

Reset world on program start?

If enabled, world will be reset before code execution.

Inventory active

Enables the inventory.

Inventory size

Specify the maximum amount of slabs in Coral’s inventory.

Start slabs

Specify the initial amount of slabs in Coral’s inventory.