[gnome-builder/wip/gtk4-port] libide/gui: make formatting group more generally available

[Christian Hergert <chergert src gnome org>]

commit f27ef895ccba3d226f90bc051cb62f5715236ec5
Author: Christian Hergert <chergert redhat com>
Date:   Mon Apr 11 17:19:14 2022 -0700

    libide/gui: make formatting group more generally available

 src/libide/gui/ide-preferences-builtin.c  | 2 ++
 src/plugins/copyright/copyright_plugin.py | 3 +--
 2 files changed, 3 insertions(+), 2 deletions(-)
---
diff --git a/src/libide/gui/ide-preferences-builtin.c b/src/libide/gui/ide-preferences-builtin.c
index 7ae19dbb1..cfd361e8b 100644
--- a/src/libide/gui/ide-preferences-builtin.c
+++ b/src/libide/gui/ide-preferences-builtin.c
@@ -667,6 +667,8 @@ static const IdePreferencePageEntry pages[] = {
 static const IdePreferenceGroupEntry groups[] = {
   { "appearance", "style",                  0, N_("Appearance") },
 
+  { "editing",    "formatting",           100, N_("Formatting") },
+
   { "insight",    "general",                0, NULL },
   { "insight",    "completion",            10, N_("Completion") },
   { "insight",    "completion-providers",  20, NULL },
diff --git a/src/plugins/copyright/copyright_plugin.py b/src/plugins/copyright/copyright_plugin.py
index b68feb588..79cb95bd1 100644
--- a/src/plugins/copyright/copyright_plugin.py
+++ b/src/plugins/copyright/copyright_plugin.py
@@ -105,11 +105,10 @@ class CopyrightBufferAddin(Ide.Object, Ide.BufferAddin):
 
 class CopyrightPreferencesAddin(GObject.Object, Ide.PreferencesAddin):
     def do_load(self, window):
-        window.add_group('editor', 'formatting', 0, _('Formatting'))
         Ide.add_preference_items(window, [
             {
                 'kind': 'toggle',
-                'page': 'editor',
+                'page': 'editing',
                 'group': 'formatting',
                 'name': 'update-copyright',
                 'priority': 0,