[gnome-builder] plugins/valgrind: use "leak detector" as page title
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] plugins/valgrind: use "leak detector" as page title
- Date: Sat, 20 Aug 2022 01:14:54 +0000 (UTC)
commit d43c8106c169f41503ebee450cd1c406e3e4f307
Author: Christian Hergert <chergert redhat com>
Date: Fri Aug 19 18:09:44 2022 -0700
plugins/valgrind: use "leak detector" as page title
src/plugins/valgrind/tweaks.ui | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/src/plugins/valgrind/tweaks.ui b/src/plugins/valgrind/tweaks.ui
index 45e22a71f..1f86c7485 100644
--- a/src/plugins/valgrind/tweaks.ui
+++ b/src/plugins/valgrind/tweaks.ui
@@ -14,7 +14,7 @@
<child>
<object class="IdeTweaksPage" id="build_valgrind_page">
<property name="icon-name">system-run-symbolic</property>
- <property name="title" translatable="yes">Valgrind</property>
+ <property name="title" translatable="yes">Leak Detector</property>
<child>
<object class="IdeTweaksGroup">
<property name="title" translatable="yes">Leak Kinds</property>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]