DiaSCE manual
Settings menu
This menu has the following options:
Preferences: To change configuration options of DiaSCE