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