[gnome-builder/wip/gtk4-port: 150/736] libide/gui: remove double revealer

[Christian Hergert <chergert src gnome org>]

commit fe0cf64d762fa7b83604521e966ebfaeacb2eaf5
Author: Christian Hergert <chergert redhat com>
Date:   Tue Mar 29 00:59:37 2022 -0700

    libide/gui: remove double revealer
    
    The button can handle this internally now.

 src/libide/gui/ide-primary-workspace.c  | 2 ++
 src/libide/gui/ide-primary-workspace.ui | 8 +-------
 2 files changed, 3 insertions(+), 7 deletions(-)
---
diff --git a/src/libide/gui/ide-primary-workspace.c b/src/libide/gui/ide-primary-workspace.c
index cd45e88ff..aec26b9d2 100644
--- a/src/libide/gui/ide-primary-workspace.c
+++ b/src/libide/gui/ide-primary-workspace.c
@@ -25,6 +25,7 @@
 #include "ide-gui-global.h"
 #include "ide-gui-private.h"
 #include "ide-header-bar.h"
+#include "ide-notifications-button.h"
 #include "ide-omni-bar.h"
 #include "ide-primary-workspace.h"
 #include "ide-run-button.h"
@@ -96,6 +97,7 @@ ide_primary_workspace_class_init (IdePrimaryWorkspaceClass *klass)
   gtk_widget_class_bind_template_child (widget_class, IdePrimaryWorkspace, run_button);
 
   g_type_ensure (IDE_TYPE_RUN_BUTTON);
+  g_type_ensure (IDE_TYPE_NOTIFICATIONS_BUTTON);
 }
 
 static void
diff --git a/src/libide/gui/ide-primary-workspace.ui b/src/libide/gui/ide-primary-workspace.ui
index 594ad9238..fdf9adf5d 100644
--- a/src/libide/gui/ide-primary-workspace.ui
+++ b/src/libide/gui/ide-primary-workspace.ui
@@ -27,13 +27,7 @@
           </object>
         </child>
         <child type="right">
-          <object class="GtkRevealer">
-            <property name="reveal-child">false</property>
-            <property name="transition-type">slide-left</property>
-            <child>
-              <object class="IdeNotificationsButton" id="notifications_button"/>
-            </child>
-          </object>
+          <object class="IdeNotificationsButton" id="notifications_button"/>
         </child>
       </object>
     </child>