Differences
This shows you the differences between the selected revisions of the page.
| 2019-03-27 | 2019-03-27 | ||
| 5.15 released - removing beta notices (martin) | 5.15 released - removing beta notices (martin) | ||
| Line 33: | Line 33: | ||
| An opened session name is preserved in a [[workspace]]. | An opened session name is preserved in a [[workspace]]. | ||
| - | |||
| - | &beta_feature | ||
| ===== [[keyboard]] Keyboard Shortcuts ===== | ===== [[keyboard]] Keyboard Shortcuts ===== | ||