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: — structure of the main panel; — hot keys.
|