Differences
This shows you the differences between the selected revisions of the page.
2017-01-15 | 2019-03-28 | ||
fixing explicit anchor (martin) | it's "File Explorer" now (martin) | ||
Line 7: | Line 7: | ||
===== [[panels]] Panels Options ===== | ===== [[panels]] Panels Options ===== | ||
- | Use //Explorer-style selection// to choose whether [[ui_commander#selecting_files|Windows Explorer-style selection of files]] shall be used. You can use the selection style for both keyboard and mouse or for mouse only. | + | Use //Explorer-style selection// to choose whether [[ui_commander#selecting_files|Windows File Explorer-style selection of files]] shall be used. You can use the selection style for both keyboard and mouse or for mouse only. |
The //Swap panels// checkbox reverses order of [[ui_file_panels|local and remote file panels]]. | The //Swap panels// checkbox reverses order of [[ui_file_panels|local and remote file panels]]. |