Differences
This shows you the differences between the selected revisions of the page.
2018-10-18 | 2018-10-23 | ||
5.14 Bug 316 Files can be copied to the clipboard (martin) | file_management anchor (martin) | ||
Line 32: | Line 32: | ||
* Shift+Ctrl+R - Restore selection | * Shift+Ctrl+R - Restore selection | ||
- | ===== File Management ===== | + | ===== [[file_management]] File Management ===== |
* F2 - Rename focused file | * F2 - Rename focused file |