Differences
This shows you the differences between the selected revisions of the page.
| 2019-10-21 | 2019-10-23 | ||
| file_panels explicit anchor (martin) | file_selection and file_management explicit anchors (martin) | ||
| Line 15: | Line 15: | ||
| * Ctrl+Alt+T -- Toggle tree panel | * Ctrl+Alt+T -- Toggle tree panel | ||
| - | ===== File Selection ===== | + | ===== [[file_selection]] File Selection ===== |
| * Ctrl+Space -- Select/deselect file | * Ctrl+Space -- Select/deselect file | ||
| Line 25: | Line 25: | ||
| * Shift+Ctrl+R -- Restore selection | * Shift+Ctrl+R -- Restore selection | ||
| - | ===== File Management ===== | + | ===== [[file_management]] File Management ===== |
| * F2 -- Rename focused file | * F2 -- Rename focused file | ||