Next: Map Contour ``Scrolling'' Limits, Previous: Map Contouring, Up: Map-Related Features
The extent of the map can be set using the GUI (Edit -> Map Parameters -> Map Radius) or by using the scripting function, e.g.:
(set-map-radius 13.2)