Differences
This shows you the differences between the selected revisions of the page.
| 2005-01-05 | 2005-01-11 | ||
| no summary (martin) | typo (martin) | ||
| Line 1: | Line 1: | ||
| ====== Saving Session Configuration ====== | ====== Saving Session Configuration ====== | ||
| - | If you want to save your session configuration, use //Save// button on bottom of Login dialog to create a stored session. You will be asked for name of the stored session. From the drop down menu you can select name of any existing stored sesion to overwrite it. | + | If you want to save your session configuration, use //Save// button on bottom of Login dialog to create a stored session. You will be asked for name of the stored session. From the drop down menu you can select name of any existing stored session to overwrite it. |
| Note that when you have already logged in, you can store the opened session using command //Session > Save session//. | Note that when you have already logged in, you can store the opened session using command //Session > Save session//. | ||
| The stored session stores only options that differ from default values. So if you change default value of option that you have not changed for particular stored session, the new default value will be propagated to the stored session too. Use //[[ui_login_stored_sessions|Set defaults]]// button on Stored sessions tab to change default options. | The stored session stores only options that differ from default values. So if you change default value of option that you have not changed for particular stored session, the new default value will be propagated to the stored session too. Use //[[ui_login_stored_sessions|Set defaults]]// button on Stored sessions tab to change default options. | ||