Differences
This shows you the differences between the selected revisions of the page.
| 2020-02-18 | 2020-05-22 | ||
| 5.17 released (martin) | grammar (martin) | ||
| Line 1: | Line 1: | ||
| - | ====== Interface Page (Preferences Dialog) ====== | + | ====== The Interface Page (Preferences Dialog) ====== |
| The //Interface page// on the [[ui_preferences|Preferences dialog]] allows user to configure [[interfaces|user interface]]. | The //Interface page// on the [[ui_preferences|Preferences dialog]] allows user to configure [[interfaces|user interface]]. | ||