rnc: small modification so that the width of the sketcher window doesn't change when...

diff --git a/src/EntityGUI/EntityGUI_Skeleton_QTD.ui b/src/EntityGUI/EntityGUI_Skeleton_QTD.ui
index dd25295839770cd1c6920afbd3ccad393390b38d..6f92ba864a3c8a185d61ffe4d7d9a85d96d53982 100644 (file)
--- a/src/EntityGUI/EntityGUI_Skeleton_QTD.ui
+++ b/src/EntityGUI/EntityGUI_Skeleton_QTD.ui
@@ -1,103 +1,83 @@
-<ui version="4.0" >
+<?xml version="1.0" encoding="UTF-8"?>
+<ui version="4.0">
  <class>EntityGUI_Skeleton_QTD</class>
- <widget class="QWidget" name="EntityGUI_Skeleton_QTD" >
-  <property name="geometry" >
+ <widget class="QWidget" name="EntityGUI_Skeleton_QTD">
+  <property name="geometry">
    <rect>
     <x>0</x>
     <y>0</y>
-    <width>363</width>
-    <height>234</height>
+    <width>380</width>
+    <height>236</height>
    </rect>
   </property>
-  <property name="windowTitle" >
+  <property name="windowTitle">
    <string>Form</string>
   </property>
-  <layout class="QGridLayout" >
-   <property name="leftMargin" >
+  <layout class="QGridLayout">
+   <property name="margin">
     <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="horizontalSpacing" >
-    <number>6</number>
-   </property>
-   <property name="verticalSpacing" >
+   <property name="spacing">
     <number>6</number>
    </property>
-   <item row="3" column="0" >
-    <widget class="QGroupBox" name="GroupButtons" >
-     <property name="sizePolicy" >
-      <sizepolicy vsizetype="Fixed" hsizetype="Expanding" >
+   <item row="3" column="0">
+    <widget class="QGroupBox" name="GroupButtons">
+     <property name="sizePolicy">
+      <sizepolicy hsizetype="Expanding" vsizetype="Fixed">
        <horstretch>0</horstretch>
        <verstretch>0</verstretch>
       </sizepolicy>
      </property>
-     <property name="title" >
+     <property name="title">
       <string/>
      </property>
-     <layout class="QHBoxLayout" >
-      <property name="spacing" >
+     <layout class="QHBoxLayout">
+      <property name="spacing">
        <number>6</number>
       </property>
-      <property name="leftMargin" >
-       <number>9</number>
-      </property>
-      <property name="topMargin" >
-       <number>9</number>
-      </property>
-      <property name="rightMargin" >
-       <number>9</number>
-      </property>
-      <property name="bottomMargin" >
+      <property name="margin">
        <number>9</number>
       </property>
       <item>
-       <widget class="QPushButton" name="buttonEnd" >
-        <property name="text" >
+       <widget class="QPushButton" name="buttonEnd">
+        <property name="text">
          <string>End Sketch</string>
         </property>
        </widget>
       </item>
       <item>
-       <widget class="QPushButton" name="buttonClose" >
-        <property name="text" >
+       <widget class="QPushButton" name="buttonClose">
+        <property name="text">
          <string>Close Sketch</string>
         </property>
        </widget>
       </item>
       <item>
        <spacer>
-        <property name="orientation" >
+        <property name="orientation">
          <enum>Qt::Horizontal</enum>
         </property>
-        <property name="sizeType" >
-         <enum>QSizePolicy::Expanding</enum>
+        <property name="sizeType">
+         <enum>QSizePolicy::MinimumExpanding</enum>
         </property>
-        <property name="sizeHint" >
+        <property name="sizeHint" stdset="0">
          <size>
-          <width>91</width>
+          <width>30</width>
           <height>0</height>
          </size>
         </property>
        </spacer>
       </item>
       <item>
-       <widget class="QPushButton" name="buttonCancel" >
-        <property name="text" >
+       <widget class="QPushButton" name="buttonCancel">
+        <property name="text">
          <string>&amp;Cancel</string>
         </property>
        </widget>
       </item>
       <item>
-       <widget class="QPushButton" name="buttonHelp" >
-        <property name="text" >
+       <widget class="QPushButton" name="buttonHelp">
+        <property name="text">
          <string>&amp;Help</string>
         </property>
        </widget>
@@ -105,79 +85,58 @@
      </layout>
     </widget>
    </item>
-   <item row="2" column="0" >
-    <widget class="QWidget" native="1" name="SkeletonCnt" />
+   <item row="2" column="0">
+    <widget class="QWidget" name="SkeletonCnt" native="true"/>
    </item>
-   <item row="1" column="0" >
-    <widget class="QGroupBox" name="GroupDest" >
-     <property name="sizePolicy" >
-      <sizepolicy vsizetype="Fixed" hsizetype="Expanding" >
+   <item row="1" column="0">
+    <widget class="QGroupBox" name="GroupDest">
+     <property name="sizePolicy">
+      <sizepolicy hsizetype="Expanding" vsizetype="Fixed">
        <horstretch>0</horstretch>
        <verstretch>0</verstretch>
       </sizepolicy>
      </property>
-     <property name="title" >
+     <property name="title">
       <string>Destination</string>
      </property>
-     <layout class="QGridLayout" >
-      <property name="leftMargin" >
-       <number>9</number>
-      </property>
-      <property name="topMargin" >
-       <number>9</number>
-      </property>
-      <property name="rightMargin" >
-       <number>9</number>
-      </property>
-      <property name="bottomMargin" >
+     <layout class="QGridLayout">
+      <property name="margin">
        <number>9</number>
       </property>
-      <property name="horizontalSpacing" >
-       <number>6</number>
-      </property>
-      <property name="verticalSpacing" >
+      <property name="spacing">
        <number>6</number>
       </property>
-      <item row="1" column="0" >
-       <widget class="QWidget" native="1" name="DestCnt" />
+      <item row="1" column="0">
+       <widget class="QWidget" name="DestCnt" native="true"/>
       </item>
-      <item row="0" column="0" >
-       <widget class="QGroupBox" name="GroupDest1" >
-        <property name="sizePolicy" >
-         <sizepolicy vsizetype="Fixed" hsizetype="Expanding" >
+      <item row="0" column="0">
+       <widget class="QGroupBox" name="GroupDest1">
+        <property name="sizePolicy">
+         <sizepolicy hsizetype="Expanding" vsizetype="Fixed">
           <horstretch>0</horstretch>
           <verstretch>0</verstretch>
          </sizepolicy>
         </property>
-        <property name="title" >
+        <property name="title">
          <string>Type</string>
         </property>
-        <layout class="QHBoxLayout" >
-         <property name="spacing" >
+        <layout class="QHBoxLayout">
+         <property name="spacing">
           <number>6</number>
          </property>
-         <property name="leftMargin" >
-          <number>9</number>
-         </property>
-         <property name="topMargin" >
-          <number>9</number>
-         </property>
-         <property name="rightMargin" >
-          <number>9</number>
-         </property>
-         <property name="bottomMargin" >
+         <property name="margin">
           <number>9</number>
          </property>
          <item>
-          <widget class="QRadioButton" name="RB_Dest1" >
-           <property name="text" >
+          <widget class="QRadioButton" name="RB_Dest1">
+           <property name="text">
             <string>Point</string>
            </property>
           </widget>
          </item>
          <item>
-          <widget class="QRadioButton" name="RB_Dest2" >
-           <property name="text" >
+          <widget class="QRadioButton" name="RB_Dest2">
+           <property name="text">
             <string>Direction</string>
            </property>
           </widget>
@@ -188,43 +147,34 @@
      </layout>
     </widget>
    </item>
-   <item row="0" column="0" >
-    <widget class="QGroupBox" name="GroupConstructors" >
-     <property name="sizePolicy" >
-      <sizepolicy vsizetype="Fixed" hsizetype="Preferred" >
+   <item row="0" column="0">
+    <widget class="QGroupBox" name="GroupConstructors">
+     <property name="sizePolicy">
+      <sizepolicy hsizetype="Preferred" vsizetype="Fixed">
        <horstretch>0</horstretch>
        <verstretch>0</verstretch>
       </sizepolicy>
      </property>
-     <property name="title" >
+     <property name="title">
       <string>Element Type</string>
      </property>
-     <layout class="QHBoxLayout" >
-      <property name="spacing" >
+     <layout class="QHBoxLayout">
+      <property name="spacing">
        <number>6</number>
       </property>
-      <property name="leftMargin" >
-       <number>9</number>
-      </property>
-      <property name="topMargin" >
-       <number>9</number>
-      </property>
-      <property name="rightMargin" >
-       <number>9</number>
-      </property>
-      <property name="bottomMargin" >
+      <property name="margin">
        <number>9</number>
       </property>
       <item>
-       <widget class="QRadioButton" name="RadioButton1" >
-        <property name="text" >
+       <widget class="QRadioButton" name="RadioButton1">
+        <property name="text">
          <string>Segment</string>
         </property>
        </widget>
       </item>
       <item>
-       <widget class="QRadioButton" name="RadioButton2" >
-        <property name="text" >
+       <widget class="QRadioButton" name="RadioButton2">
+        <property name="text">
          <string>Arc</string>
         </property>
        </widget>