From e4f428e9590b30827171c26981ca52b21449276a Mon Sep 17 00:00:00 2001
From: fcasal <fcasal@users.noreply.github.com>
Date: Fri, 9 Mar 2018 11:43:01 +0000
Subject: [PATCH] added search button to Edit menu (#371)

---
 src/MainWindow.ui | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/MainWindow.ui b/src/MainWindow.ui
index ad6c4581..9129faed 100644
--- a/src/MainWindow.ui
+++ b/src/MainWindow.ui
@@ -219,6 +219,7 @@ border-top: 0px;
     <property name="title">
      <string>Edit</string>
     </property>
+    <addaction name="actionSearchInst"/>
     <addaction name="actionUndoSeek"/>
     <addaction name="actionRedoSeek"/>
    </widget>