Next: , Previous: The Text Editor, Up: Windows

7.2.5 The Global Settings

Files: gui/main.h, gui/dialogs.c

This window contains some property editor widgets (see Property Editor Widgets) for properties of the universe. These settings are loaded during startup and saved during exit automatically (by the kernel). The meaning of the settings is explained in the User's Manual.