484 |
If a session is already loaded and has been modified without |
If a session is already loaded and has been modified without |
485 |
being saved a prompt will ask if the current session should |
being saved a prompt will ask if the current session should |
486 |
be saved. A new session consists of an empty map with no |
be saved. A new session consists of an empty map with no |
487 |
layers and no tables. |
layers, no tables and no projection. |
488 |
</para> |
</para> |
489 |
</section> |
</section> |
490 |
|
|
511 |
<menuchoice> |
<menuchoice> |
512 |
<guimenu>File</guimenu> |
<guimenu>File</guimenu> |
513 |
<guimenuitem>Save Session</guimenuitem> |
<guimenuitem>Save Session</guimenuitem> |
514 |
</menuchoice>. A dialog box will open allowing the user to browse |
</menuchoice>. |
515 |
|
In the case the session is not a new and unsaved one, |
516 |
|
the corresponding file is updated with the current session |
517 |
|
data. |
518 |
|
In the case the current session is a new one and yet unsaved |
519 |
|
a dialog box will open allowing the user to browse |
520 |
the file system and select a place to save the session. Thuban |
the file system and select a place to save the session. Thuban |
521 |
sessions should be saved under a name ending in |
sessions should be saved under a name ending in |
522 |
<varname>.thuban</varname>. If the file already exists the user |
<varname>.thuban</varname>. If the file already exists the user |