From 374816fe0e43991a7234c516bad7d4761b94ab90 Mon Sep 17 00:00:00 2001
From: Matthias Koefferlein <matthias@koefferlein.de>
Date: Thu, 26 Oct 2017 21:25:36 +0200
Subject: [PATCH] Tiny issue: border for OASIS writer options page.

---
 .../laybasic/OASISWriterOptionPage.ui         | 46 +++++++++++++++++--
 1 file changed, 41 insertions(+), 5 deletions(-)

diff --git a/src/laybasic/laybasic/OASISWriterOptionPage.ui b/src/laybasic/laybasic/OASISWriterOptionPage.ui
index bd7bec3bd..f551b3e70 100644
--- a/src/laybasic/laybasic/OASISWriterOptionPage.ui
+++ b/src/laybasic/laybasic/OASISWriterOptionPage.ui
@@ -17,8 +17,17 @@
    <property name="spacing">
     <number>6</number>
    </property>
-   <property name="margin">
-    <number>0</number>
+   <property name="leftMargin">
+    <number>9</number>
+   </property>
+   <property name="topMargin">
+    <number>9</number>
+   </property>
+   <property name="rightMargin">
+    <number>9</number>
+   </property>
+   <property name="bottomMargin">
+    <number>9</number>
    </property>
    <item>
     <widget class="QGroupBox" name="groupBox">
@@ -29,7 +38,16 @@
       <property name="spacing">
        <number>6</number>
       </property>
-      <property name="margin">
+      <property name="leftMargin">
+       <number>9</number>
+      </property>
+      <property name="topMargin">
+       <number>9</number>
+      </property>
+      <property name="rightMargin">
+       <number>9</number>
+      </property>
+      <property name="bottomMargin">
        <number>9</number>
       </property>
       <item>
@@ -41,7 +59,16 @@
          <enum>QFrame::Raised</enum>
         </property>
         <layout class="QGridLayout">
-         <property name="margin">
+         <property name="leftMargin">
+          <number>0</number>
+         </property>
+         <property name="topMargin">
+          <number>0</number>
+         </property>
+         <property name="rightMargin">
+          <number>0</number>
+         </property>
+         <property name="bottomMargin">
           <number>0</number>
          </property>
          <property name="spacing">
@@ -185,7 +212,16 @@
             <property name="spacing">
              <number>6</number>
             </property>
-            <property name="margin">
+            <property name="leftMargin">
+             <number>0</number>
+            </property>
+            <property name="topMargin">
+             <number>0</number>
+            </property>
+            <property name="rightMargin">
+             <number>0</number>
+            </property>
+            <property name="bottomMargin">
              <number>0</number>
             </property>
             <item>