The title of SettingsDialog should be "Preferences", not "Options" on OS X.

This conforms to the entry in the menu entry, wich already changes its
name accordingly to comply with the Apple HIG.

Also, adjusted the docs that were missing the change of location in the menu.

src/plugins/coreplugin/dialogs/settingsdialog.cpp

@@ -54,6 +54,11 @@ SettingsDialog::SettingsDialog(QWidget *parent, const QString &categoryId,
     : QDialog(parent), m_applied(false)
 {
     setupUi(this);
+#ifdef Q_OS_MAC
+    setWindowTitle(tr("Preferences"));
+#else
+    setWindowTitle(tr("Options"));
+#endif
     QString initialCategory = categoryId;
     QString initialPage = pageId;
     if (initialCategory.isEmpty() && initialPage.isEmpty()) {