Valgrind: Rename ValgrindOptionsPage into ValgrindSettingsPage

That's the usual naming nowadays.

Change-Id: I10c20e857f20ee4e1d36107e1cc1bf77449e7b17
Reviewed-by: Jarek Kobus <jaroslaw.kobus@qt.io>
This commit is contained in:
hjk
2023-07-25 13:23:37 +02:00
parent c828ba2f30
commit 84250d3daf

View File

@@ -418,14 +418,12 @@ ValgrindSettings &globalSettings()
return theSettings; return theSettings;
} }
// // ValgrindSettingsPage
// ValgrindOptionsPage
//
class ValgrindOptionsPage final : public Core::IOptionsPage class ValgrindSettingsPage final : public Core::IOptionsPage
{ {
public: public:
ValgrindOptionsPage() ValgrindSettingsPage()
{ {
setId(ANALYZER_VALGRIND_SETTINGS); setId(ANALYZER_VALGRIND_SETTINGS);
setDisplayName(Tr::tr("Valgrind")); setDisplayName(Tr::tr("Valgrind"));
@@ -436,6 +434,6 @@ public:
} }
}; };
const ValgrindOptionsPage settingsPage; const ValgrindSettingsPage settingsPage;
} // Valgrind::Internal } // Valgrind::Internal