[gnome-builder/wip/gtk4-port: 683/736] libide/gui: remove unused preference group

[Christian Hergert <chergert src gnome org>]

commit c458b9d153cc6d21b50def5a963aa5f7cfdeae0a
Author: Christian Hergert <chergert redhat com>
Date:   Wed Apr 20 14:55:34 2022 -0700

    libide/gui: remove unused preference group

 src/libide/gui/ide-preferences-builtin.c | 3 ---
 1 file changed, 3 deletions(-)
---
diff --git a/src/libide/gui/ide-preferences-builtin.c b/src/libide/gui/ide-preferences-builtin.c
index 2b7f15550..e78162436 100644
--- a/src/libide/gui/ide-preferences-builtin.c
+++ b/src/libide/gui/ide-preferences-builtin.c
@@ -679,9 +679,6 @@ static const IdePreferenceGroupEntry groups[] = {
   { "insight",    "general",                0, NULL },
   { "insight",    "completion",            10, N_("Completion") },
   { "insight",    "completion-providers",  20, NULL },
-#if 0
-  { "insight",    "diagnostics",           30, N_("Diagnostics") },
-#endif
   { "insight",    "diagnostics-providers", 40, N_("Diagnostics") },
 
   { "plugins",    "vcs",                    0, N_("Version Control") },