From 84250d3daf231924b1c1687e24bac853f55e7a4f Mon Sep 17 00:00:00 2001 From: hjk Date: Tue, 25 Jul 2023 13:23:37 +0200 Subject: [PATCH] Valgrind: Rename ValgrindOptionsPage into ValgrindSettingsPage That's the usual naming nowadays. Change-Id: I10c20e857f20ee4e1d36107e1cc1bf77449e7b17 Reviewed-by: Jarek Kobus --- src/plugins/valgrind/valgrindsettings.cpp | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) diff --git a/src/plugins/valgrind/valgrindsettings.cpp b/src/plugins/valgrind/valgrindsettings.cpp index d398fa3a58f..3f81f05b20d 100644 --- a/src/plugins/valgrind/valgrindsettings.cpp +++ b/src/plugins/valgrind/valgrindsettings.cpp @@ -418,14 +418,12 @@ ValgrindSettings &globalSettings() return theSettings; } -// -// ValgrindOptionsPage -// +// ValgrindSettingsPage -class ValgrindOptionsPage final : public Core::IOptionsPage +class ValgrindSettingsPage final : public Core::IOptionsPage { public: - ValgrindOptionsPage() + ValgrindSettingsPage() { setId(ANALYZER_VALGRIND_SETTINGS); setDisplayName(Tr::tr("Valgrind")); @@ -436,6 +434,6 @@ public: } }; -const ValgrindOptionsPage settingsPage; +const ValgrindSettingsPage settingsPage; } // Valgrind::Internal