diff options
Diffstat (limited to 'terminal.ui')
| -rw-r--r-- | terminal.ui | 1 |
1 files changed, 0 insertions, 1 deletions
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> |