Settings
Language
Editor Font Size
Highlighter
Terminal Font Size
Theme
Tab Size
Terminal position
Dark Mode
Pause at end execution
Save changes
Cancel