Front-end stored settings
Front-ends can store some layout properties of windows and form elements, for subsequent program executions.
Purpose of stored settings
With a GUI front-end, when a window/form is closed, the front-end stores widget sizing and positionning properties locally on the platform where the front-end executes. When the window/form is reopened (in a new or in the same program instance), these variable layout properties are restored, to display the forms and its content with the same aspect as when they were closed.
For example, TABLE
columns
can be resized, reordered, and selected to sort rows. Such variable layout properties are saved in
the stored settings and restored when the form is re-displayed.
Managing stored settings on front-end side
Stored settings can be controlled by the end-user, in the front-end configuration panel.
For example, it is possible to disable stored settings completely, or to reset them in order to get the original form layouts.
See front-end specific documentation for more details.
Controlling stored settings with program files
Some window presentation styles attributes such as
forceDefaultSettings
or
position
can be used to control stored settings.