diff options
-rw-r--r-- | terminal.ui | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/terminal.ui b/terminal.ui index 268ee0c..3fd1ac8 100644 --- a/terminal.ui +++ b/terminal.ui @@ -161,8 +161,8 @@ <object class="GtkBox" id="search_container"> <property name="visible">True</property> <property name="can-focus">False</property> - <property name="margin-left">5</property> - <property name="margin-right">5</property> + <property name="margin-start">5</property> + <property name="margin-end">5</property> <property name="margin-top">5</property> <property name="margin-bottom">5</property> <property name="spacing">2</property> |