Differences
This shows you the differences between the selected revisions of the page.
| 2012-05-07 | 2013-04-11 | ||
| typography (martin) | 5.2 Workspace can be saved (martin) | ||
| Line 3: | Line 3: | ||
| &screenshotpict(pref_window) | &screenshotpict(pref_window) | ||
| + | |||
| + | ===== Workspaces ===== | ||
| + | The //Automatically save workspace on exit// checkbox enables [[workspace#auto|automatic workspace saving]]. In the box below, specify (or select) workspace name to use for automatic saving. | ||
| + | |||
| + | Check //Save passwords// to save passwords for ad hoc sessions, when automatically saving workspace. | ||
| ===== Path in Window Title ===== | ===== Path in Window Title ===== | ||