Differences
This shows you the differences between the selected revisions of the page.
| 2013-04-11 | 2013-04-11 | ||
| 5.2 Workspace can be saved (martin) | workspaces anchor (martin) | ||
| Line 4: | Line 4: | ||
| &screenshotpict(pref_window) | &screenshotpict(pref_window) | ||
| - | ===== Workspaces ===== | + | ===== [[workspaces]] 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. | 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. | ||