Differences
This shows you the differences between the selected revisions of the page.
| 2019-03-28 | 2020-03-31 | ||
| typography (martin) | link update (martin) | ||
| Line 12: | Line 12: | ||
| ===== [[common]] Common Options ===== | ===== [[common]] Common Options ===== | ||
| - | The //Show hidden files// checkbox toggles display of [[ui_file_panel#special_files|hidden files]]. | + | The //Show hidden files// checkbox toggles display of [[ui_file_panel#hidden_files|hidden files]]. |
| The //Default directory is home directory// checkbox makes [[ui_login_directories#directories|initial directories of the session]] replace the home directories. It has no effect unless session option //[[ui_login_directories#directory_reading_options|Remember last user directory]]// is disabled. | The //Default directory is home directory// checkbox makes [[ui_login_directories#directories|initial directories of the session]] replace the home directories. It has no effect unless session option //[[ui_login_directories#directory_reading_options|Remember last user directory]]// is disabled. | ||