From e533bf190d96170d5104adf71d46857f35111065 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gon=C3=A7alo=20Silva?= <goncalossilva@gmail.com>
Date: Fri, 26 Apr 2019 06:06:51 +0100
Subject: [PATCH] Remove unused vadjustment property

---
 data/ui/Window.ui | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/data/ui/Window.ui b/data/ui/Window.ui
index c5e33dd..79e1035 100644
--- a/data/ui/Window.ui
+++ b/data/ui/Window.ui
@@ -3,11 +3,6 @@
 <interface>
   <requires lib="gtk+" version="3.20"/>
   <!-- interface-local-resource-path ../media -->
-  <object class="GtkAdjustment" id="adjustment1">
-    <property name="upper">100</property>
-    <property name="step_increment">1</property>
-    <property name="page_increment">10</property>
-  </object>
   <object class="GtkImage" id="edit-find-replace">
     <property name="visible">True</property>
     <property name="can_focus">False</property>
@@ -86,7 +81,6 @@
                         <property name="receives_default">True</property>
                         <property name="hexpand">True</property>
                         <property name="vexpand">True</property>
-                        <property name="vadjustment">adjustment1</property>
                         <child>
                           <placeholder/>
                         </child>