[gnome-builder] gui: hide theatrics from progress menu button

[Christian Hergert <chergert src gnome org>]

commit 8a180caaa09be1a53f5a9e8b0be00f5a358bfd53
Author: Christian Hergert <chergert redhat com>
Date:   Mon Feb 4 22:12:39 2019 -0800

    gui: hide theatrics from progress menu button
    
    These look out of place now days, so just avoid them.

 src/libide/editor/ide-editor-workspace.ui | 1 +
 src/libide/gui/ide-primary-workspace.ui   | 1 +
 2 files changed, 2 insertions(+)
---
diff --git a/src/libide/editor/ide-editor-workspace.ui b/src/libide/editor/ide-editor-workspace.ui
index 6e446d90c..85dd81710 100644
--- a/src/libide/editor/ide-editor-workspace.ui
+++ b/src/libide/editor/ide-editor-workspace.ui
@@ -40,6 +40,7 @@
             </child>
             <child>
               <object class="IdeNotificationsButton" id="notifications_button">
+                <property name="show-theatric">false</property>
                 <property name="visible">true</property>
               </object>
               <packing>
diff --git a/src/libide/gui/ide-primary-workspace.ui b/src/libide/gui/ide-primary-workspace.ui
index ccb523157..931c61c67 100644
--- a/src/libide/gui/ide-primary-workspace.ui
+++ b/src/libide/gui/ide-primary-workspace.ui
@@ -42,6 +42,7 @@
         </child>
         <child type="right">
           <object class="IdeNotificationsButton" id="notifications_button">
+            <property name="show-theatric">false</property>
             <property name="visible">true</property>
           </object>
         </child>