Map Editor options

Parameters of editing session are saved at termination of the map editor and restored at its restart.

The Map Editor Options dialog contains bookmarks in which the following parameters are set:

- common parameters;

- parameters of tracing;

- parameters of autofigures;

- service parameters;

- structure of the main panel;

- hot keys.