From dcf632b39c7dfd287bcc227a9642a63f1a32810a Mon Sep 17 00:00:00 2001 From: Chocobo1 Date: Tue, 6 Aug 2019 23:02:45 +0800 Subject: [PATCH] Remove redundant margin properties Those are the same with the default values. --- src/gui/aboutdialog.ui | 1 - src/gui/optionsdialog.ui | 12 ------------ 2 files changed, 13 deletions(-) diff --git a/src/gui/aboutdialog.ui b/src/gui/aboutdialog.ui index f0ed552d6..fa27a9818 100644 --- a/src/gui/aboutdialog.ui +++ b/src/gui/aboutdialog.ui @@ -489,7 +489,6 @@ - diff --git a/src/gui/optionsdialog.ui b/src/gui/optionsdialog.ui index 7a3bf911c..3c7d51030 100644 --- a/src/gui/optionsdialog.ui +++ b/src/gui/optionsdialog.ui @@ -561,9 +561,6 @@ - - 0 - @@ -604,9 +601,6 @@ - - 0 - @@ -730,9 +724,6 @@ true - - 0 - @@ -2274,9 +2265,6 @@ false - - 9 -