[gnome-builder/wip/gtk4-port: 1728/1774] libide/gui: tweak primary workspace layout

[Christian Hergert <chergert src gnome org>]

commit 342c31194bb41022a58a6d09bc76812f35ac7696
Author: Christian Hergert <chergert redhat com>
Date:   Wed Jun 29 11:04:49 2022 -0700

    libide/gui: tweak primary workspace layout

 src/libide/gui/ide-primary-workspace.ui | 15 +++++++++------
 1 file changed, 9 insertions(+), 6 deletions(-)
---
diff --git a/src/libide/gui/ide-primary-workspace.ui b/src/libide/gui/ide-primary-workspace.ui
index dc0bff6fd..7cc961235 100644
--- a/src/libide/gui/ide-primary-workspace.ui
+++ b/src/libide/gui/ide-primary-workspace.ui
@@ -43,23 +43,26 @@
         <child type="right">
           <object class="IdeNotificationsButton" id="notifications_button"/>
         </child>
-        <child type="right">
-          <object class="GtkButton" id="search_button">
-            <property name="action-name">workbench.global-search</property>
-            <property name="icon-name">edit-find-symbolic</property>
-          </object>
-        </child>
         <child type="right">
           <object class="PanelDockSwitcher">
             <property name="dock">dock</property>
             <property name="position">end</property>
           </object>
         </child>
+        <child type="right">
+          <object class="GtkButton" id="search_button">
+            <property name="action-name">workbench.global-search</property>
+            <property name="icon-name">edit-find-symbolic</property>
+            <property name="margin-end">3</property>
+            <property name="margin-start">3</property>
+          </object>
+        </child>
       </object>
     </child>
     <child>
       <object class="PanelDock" id="dock">
         <property name="start-width">300</property>
+        <property name="end-width">300</property>
         <property name="reveal-start">true</property>
         <property name="vexpand">true</property>
         <child type="center">