Help index and various topics updated re changes in Preference dialogue box in splitting out display options onto own tab and renaming of "General" tab to "Misc."
Authored by: delphidabbler 2012-07-11
Parent: [r2027]
Child: [r2029]