Adding margins to QDockWidgets in the UI file, since Windows now has no...

Adding margins to QDockWidgets in the UI file, since Windows now has no margins around those widgets

src/windows/ui/main-window.ui

@@ -188,6 +188,9 @@
    </attribute>
    <widget class="QWidget" name="dockWidgetContents">
     <layout class="QGridLayout" name="gridLayout_2">
+	<property name="margin">
+     <number>9</number>
+    </property>
      <item row="0" column="0">
       <layout class="QVBoxLayout" name="tabFiles"/>
      </item>
@@ -209,6 +212,9 @@
    </attribute>
    <widget class="QWidget" name="dockVideoContents">
     <layout class="QGridLayout" name="gridLayout_3">
+	<property name="margin">
+     <number>9</number>
+    </property>
      <item row="0" column="1">
       <layout class="QVBoxLayout" name="tabVideo"/>
      </item>
@@ -224,6 +230,9 @@
    </attribute>
    <widget class="QWidget" name="dockWidgetContents_3">
     <layout class="QGridLayout" name="gridLayout_4">
+	<property name="margin">
+     <number>9</number>
+    </property>
      <item row="0" column="0">
       <layout class="QVBoxLayout" name="tabTransitions"/>
      </item>
@@ -239,6 +248,9 @@
    </attribute>
    <widget class="QWidget" name="dockWidgetContents_4">
     <layout class="QGridLayout" name="gridLayout_5">
+	<property name="margin">
+     <number>9</number>
+    </property>
      <item row="0" column="0">
       <layout class="QVBoxLayout" name="tabEffects"/>
      </item>
@@ -260,6 +272,9 @@
    </attribute>
    <widget class="QWidget" name="dockPropertiesContent">
     <layout class="QGridLayout" name="gridLayout_6">
+	<property name="margin">
+     <number>9</number>
+    </property>
      <item row="1" column="1">
       <widget class="QLineEdit" name="txtPropertyFilter">
        <property name="inputMask">