Differences
This shows you the differences between the selected revisions of the page.
| 2017-01-15 | 2017-05-03 | ||
| fixing explicit anchor (martin) | no summary (75.137.147.17) (hidden) (untrusted) | ||
| Line 36: | Line 36: | ||
| If you uncheck both options, only files not existing in an opposite panel will be selected (highlighted). | If you uncheck both options, only files not existing in an opposite panel will be selected (highlighted). | ||
| - | ===== Further Reading ===== | + | |
| - | Read more about [[ui_preferences|Preferences dialog]] and its other [[ui_preferences#pages|pages]]. | + | |