Differences
This shows you the differences between the selected revisions of the page.
| 2018-10-23 | 2019-03-10 | ||
| file_management anchor (martin) | no summary (105.155.101.121) (hidden) (untrusted) | ||
| Line 22: | Line 22: | ||
| * Ctrl+Alt+T - Toggle tree panel | * Ctrl+Alt+T - Toggle tree panel | ||
| - | ===== [[file_selection]] File Selection ===== | + | ''''Code Text''[[**other_page|External Link**]]''===== [[file_selection]] File Selection ===== |
| * Ins - Select/deselect file | * Ins - Select/deselect file | ||