Index Options Menu
Auto Save ...
Allows to enable or disable the auto save function. The time between two
auto save events can be specified. Auto save events occur only if the corresponding
window is on top. The author tried a implementation, where windows which
are not on top were able to cause auto save events, but it was very annoying.
The auto save settings will be stored to the desktop properties, which
are applied at each start of the environment.