Differences
This shows you the differences between the selected revisions of the page.
| 2005-01-05 | 2005-01-05 | ||
| created (martin) | no summary (martin) | ||
| Line 4: | Line 4: | ||
| 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 differs 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. |