Titlebar

This Chapter covers all functionalities of the titlebar.

File

New

Clears the editor.

Import

Import a coral program.

Export

Export a coral program.

Settings

Opens the settings menu. For more information see Settings Chapter. (Hier wieder verlinkung)

Edit

Undo

Undo the last change in the editor.

Redo

Redo the last change in the editor.

Cut

Cut the marked text from the editor to the clipboard.

Copy

Copy marked text from the editor to the clipboard.

Paste

Paste from the clipboard at the cursor’s position.

Toggle Comments

? I have no clue ?

Execute

Start

Start the coral program.

Step

Do a single step in the coral program.

Pause/Resume

Pause/Resume the coral program.

Stop

Stop the running coral program.

Raise speed

Increase the speed of execution.

Lower speed

Decrease the speed of execution.

Reset world on start

Enables world reset on start of execution. See Settings -> World -> Reset world on startup (hier verlinkung)

Editor

Zoom in

Increases the fontsize of the editor.

Zoom out

Decreases the fontsize of the editor.

Reset font size

Resets the fontsize to the value specified in Settings -> Editor -> Fontsize (verlinkung)

Editor settings

See Settings -> Editor (Hier link setzen)

World

Import World

Import a world file.

Export World

Export a world file.

Reset World

Reset the current world.

Set world reset point

????

World settings

See Settings -> World (Hier link setzen)

Help

Documentation

Opens the documentation.

Info

Opens the info modal.

Impressum

Opens the impressum modal.

Support us

Opens the support modal.