Differences
This shows you the differences between the selected revisions of the page.
| 2017-02-02 | 2018-12-21 | ||
| pages explicit anchor (martin) | ui_pref_file_colors (martin) | ||
| Line 18: | Line 18: | ||
| * [[ui_pref_languages | Languages]] | * [[ui_pref_languages | Languages]] | ||
| * [[ui_pref_panels | Panels]] | * [[ui_pref_panels | Panels]] | ||
| + | * [[ui_pref_file_colors | File Colors]] | ||
| * [[ui_pref_panels_remote | Remote]] | * [[ui_pref_panels_remote | Remote]] | ||
| * [[ui_pref_panels_local | Local]] | * [[ui_pref_panels_local | Local]] | ||