[gnome-builder] editor: copy transition type from primary workspace

[Christian Hergert <chergert src gnome org>]

commit 685e9f4d049854077d8698cabc3643f3b324c7d1
Author: Christian Hergert <chergert redhat com>
Date:   Thu Jul 25 11:32:17 2019 -0700

    editor: copy transition type from primary workspace

 src/libide/editor/ide-editor-workspace.ui | 1 +
 1 file changed, 1 insertion(+)
---
diff --git a/src/libide/editor/ide-editor-workspace.ui b/src/libide/editor/ide-editor-workspace.ui
index 2c339fbe4..668e24157 100644
--- a/src/libide/editor/ide-editor-workspace.ui
+++ b/src/libide/editor/ide-editor-workspace.ui
@@ -41,6 +41,7 @@
             <child>
               <object class="GtkRevealer">
                 <property name="reveal-child">false</property>
+                <property name="transition-type">slide-left</property>
                 <property name="visible">true</property>
                 <child>
                   <object class="IdeNotificationsButton" id="notifications_button">