From 0f4c7c9722467f88009bc2f6c8a55704e7c6da24 Mon Sep 17 00:00:00 2001
From: Wolfgang Müller
Date: Fri, 18 Jun 2021 12:24:26 +0200
Subject: terminal.ui: Remove deprecated 'shadow-type' property

This property was deprecated in GTK 3.20 [1]. Remove it.

[1] https://developer.gnome.org/gtk3/stable/GtkEntry.html#GtkEntry--shadow-type
---
 terminal.ui | 1 -
 1 file changed, 1 deletion(-)

diff --git a/terminal.ui b/terminal.ui
index 534b00b..268ee0c 100644
--- a/terminal.ui
+++ b/terminal.ui
@@ -170,7 +170,6 @@
               <object class="GtkSearchEntry" id="search_entry">
                 <property name="visible">True</property>
                 <property name="can-focus">True</property>
-                <property name="shadow-type">out</property>
                 <property name="primary-icon-name">edit-find-symbolic</property>
                 <property name="primary-icon-activatable">False</property>
                 <property name="primary-icon-sensitive">False</property>
-- 
cgit v1.2.3-2-gb3c3