Differences
This shows you the differences between the selected revisions of the page.
| 2015-12-18 | 2017-02-02 | ||
| ui_pref_editor_internal (martin) | pages explicit anchor (martin) | ||
| Line 7: | Line 7: | ||
| &screenshotpict(pref_environment) | &screenshotpict(pref_environment) | ||
| - | ===== Pages ===== | + | ===== [[pages]] Pages ===== |
| Pages available on Preferences dialog: | Pages available on Preferences dialog: | ||