[gnome-builder/wip/chergert/terminal-workspace: 2/2] terminal: add search button to terminal workspace

[Christian Hergert <chergert src gnome org>]

commit e7d85be1c0789018248c9de3d2a24fcbb342cb47
Author: Christian Hergert <chergert redhat com>
Date:   Mon Apr 29 11:52:52 2019 -0700

    terminal: add search button to terminal workspace

 src/libide/terminal/ide-terminal-workspace.ui | 6 ++++++
 1 file changed, 6 insertions(+)
---
diff --git a/src/libide/terminal/ide-terminal-workspace.ui b/src/libide/terminal/ide-terminal-workspace.ui
index fc03b508e..7cda775b1 100644
--- a/src/libide/terminal/ide-terminal-workspace.ui
+++ b/src/libide/terminal/ide-terminal-workspace.ui
@@ -9,6 +9,12 @@
         <property name="show-fullscreen-button">true</property>
         <property name="menu-id">ide-terminal-workspace-menu</property>
         <property name="visible">true</property>
+        <child type="secondary">
+          <object class="IdeSearchButton" id="search_button">
+            <property name="hexpand">false</property>
+            <property name="visible">true</property>
+          </object>
+        </child>
       </object>
     </child>
     <child internal-child="surfaces">