* GraphicsUi.ui: re-save in qt designer 4.1 format.

git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@25473 a592a061-630c-0410-9148-cb99ea01b6c8

diff --git a/src/frontends/qt4/ui/GraphicsUi.ui b/src/frontends/qt4/ui/GraphicsUi.ui
index 389fcce2698451acb8dc348d63432385c3e8a47f..af9323ca2474264a85f04a0872581328e8a8165f 100644 (file)
--- a/src/frontends/qt4/ui/GraphicsUi.ui
+++ b/src/frontends/qt4/ui/GraphicsUi.ui
@@ -6,7 +6,7 @@
     <x>0</x>
     <y>0</y>
     <width>617</width>
     <x>0</x>
     <y>0</y>
     <width>617</width>

-    <height>373</height>
+    <height>417</height>

    </rect>
   </property>
   <property name="sizePolicy" >
    </rect>
   </property>
   <property name="sizePolicy" >


@@ -22,22 +22,10 @@
    <bool>true</bool>
   </property>
   <layout class="QGridLayout" >
    <bool>true</bool>
   </property>
   <layout class="QGridLayout" >

-   <property name="leftMargin" >
+   <property name="margin" >

     <number>9</number>
    </property>
     <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>
-   <property name="horizontalSpacing" >
-    <number>6</number>
-   </property>
-   <property name="verticalSpacing" >
+   <property name="spacing" >

     <number>6</number>
    </property>
    <item row="1" column="0" >
     <number>6</number>
    </property>
    <item row="1" column="0" >


@@ -45,16 +33,7 @@
      <property name="spacing" >
       <number>6</number>
      </property>
      <property name="spacing" >
       <number>6</number>
      </property>

-     <property name="leftMargin" >
-      <number>0</number>
-     </property>
-     <property name="topMargin" >
-      <number>0</number>
-     </property>
-     <property name="rightMargin" >
-      <number>0</number>
-     </property>
-     <property name="bottomMargin" >
+     <property name="margin" >

       <number>0</number>
      </property>
      <item>
       <number>0</number>
      </property>
      <item>


@@ -78,7 +57,7 @@
        <property name="sizeType" >
         <enum>QSizePolicy::MinimumExpanding</enum>
        </property>
        <property name="sizeType" >
         <enum>QSizePolicy::MinimumExpanding</enum>
        </property>

-       <property name="sizeHint" >
+       <property name="sizeHint" stdset="0" >

         <size>
          <width>20</width>
          <height>20</height>
         <size>
          <width>20</width>
          <height>20</height>


@@ -145,26 +124,22 @@
       <number>0</number>
      </property>
      <widget class="QWidget" name="Graphics" >
       <number>0</number>
      </property>
      <widget class="QWidget" name="Graphics" >

+      <property name="geometry" >
+       <rect>
+        <x>0</x>
+        <y>0</y>
+        <width>595</width>
+        <height>329</height>
+       </rect>
+      </property>

       <attribute name="title" >
        <string>&amp;Graphics</string>
       </attribute>
       <layout class="QGridLayout" >
       <attribute name="title" >
        <string>&amp;Graphics</string>
       </attribute>
       <layout class="QGridLayout" >

-       <property name="leftMargin" >
-        <number>9</number>
-       </property>
-       <property name="topMargin" >
+       <property name="margin" >

         <number>9</number>
        </property>
         <number>9</number>
        </property>

-       <property name="rightMargin" >
-        <number>9</number>
-       </property>
-       <property name="bottomMargin" >
-        <number>9</number>
-       </property>
-       <property name="horizontalSpacing" >
-        <number>6</number>
-       </property>
-       <property name="verticalSpacing" >
+       <property name="spacing" >

         <number>6</number>
        </property>
        <item row="0" column="2" >
         <number>6</number>
        </property>
        <item row="0" column="2" >


@@ -186,22 +161,10 @@
           <bool>true</bool>
          </property>
          <layout class="QGridLayout" >
           <bool>true</bool>
          </property>
          <layout class="QGridLayout" >

-          <property name="leftMargin" >
-           <number>9</number>
-          </property>
-          <property name="topMargin" >
+          <property name="margin" >

            <number>9</number>
           </property>
            <number>9</number>
           </property>

-          <property name="rightMargin" >
-           <number>9</number>
-          </property>
-          <property name="bottomMargin" >
-           <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="2" >
            <number>6</number>
           </property>
           <item row="1" column="2" >


@@ -231,7 +194,7 @@
             <property name="orientation" >
              <enum>Qt::Horizontal</enum>
             </property>
             <property name="orientation" >
              <enum>Qt::Horizontal</enum>
             </property>

-            <property name="sizeHint" >
+            <property name="sizeHint" stdset="0" >

              <size>
               <width>61</width>
               <height>20</height>
              <size>
               <width>61</width>
               <height>20</height>


@@ -316,22 +279,10 @@
           <bool>true</bool>
          </property>
          <layout class="QGridLayout" >
           <bool>true</bool>
          </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" >
+          <property name="margin" >

            <number>9</number>
           </property>
            <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" colspan="2" >
            <number>6</number>
           </property>
           <item row="1" column="0" colspan="2" >


@@ -416,26 +367,22 @@
       </layout>
      </widget>
      <widget class="QWidget" name="Clipping" >
       </layout>
      </widget>
      <widget class="QWidget" name="Clipping" >

+      <property name="geometry" >
+       <rect>
+        <x>0</x>
+        <y>0</y>
+        <width>840</width>
+        <height>420</height>
+       </rect>
+      </property>

       <attribute name="title" >
        <string>&amp;Clipping</string>
       </attribute>
       <layout class="QGridLayout" >
       <attribute name="title" >
        <string>&amp;Clipping</string>
       </attribute>
       <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" >
+       <property name="margin" >

         <number>9</number>
        </property>
         <number>9</number>
        </property>

-       <property name="horizontalSpacing" >
-        <number>6</number>
-       </property>
-       <property name="verticalSpacing" >
+       <property name="spacing" >

         <number>6</number>
        </property>
        <item row="3" column="0" colspan="2" >
         <number>6</number>
        </property>
        <item row="3" column="0" colspan="2" >


@@ -443,7 +390,7 @@
          <property name="orientation" >
           <enum>Qt::Vertical</enum>
          </property>
          <property name="orientation" >
           <enum>Qt::Vertical</enum>
          </property>

-         <property name="sizeHint" >
+         <property name="sizeHint" stdset="0" >

           <size>
            <width>20</width>
            <height>40</height>
           <size>
            <width>20</width>
            <height>40</height>


@@ -479,22 +426,10 @@
           <enum>QFrame::Plain</enum>
          </property>
          <layout class="QGridLayout" >
           <enum>QFrame::Plain</enum>
          </property>
          <layout class="QGridLayout" >

-          <property name="leftMargin" >
+          <property name="margin" >

            <number>9</number>
           </property>
            <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>
-          <property name="horizontalSpacing" >
-           <number>6</number>
-          </property>
-          <property name="verticalSpacing" >
+          <property name="spacing" >

            <number>6</number>
           </property>
           <item row="0" column="0" colspan="6" >
            <number>6</number>
           </property>
           <item row="0" column="0" colspan="6" >


@@ -581,7 +516,7 @@
          <property name="orientation" >
           <enum>Qt::Horizontal</enum>
          </property>
          <property name="orientation" >
           <enum>Qt::Horizontal</enum>
          </property>

-         <property name="sizeHint" >
+         <property name="sizeHint" stdset="0" >

           <size>
            <width>181</width>
            <height>20</height>
           <size>
            <width>181</width>
            <height>20</height>


@@ -602,6 +537,14 @@
       </layout>
      </widget>
      <widget class="QWidget" name="ExtraOptions" >
       </layout>
      </widget>
      <widget class="QWidget" name="ExtraOptions" >

+      <property name="geometry" >
+       <rect>
+        <x>0</x>
+        <y>0</y>
+        <width>840</width>
+        <height>420</height>
+       </rect>
+      </property>

       <attribute name="title" >
        <string>LaTe&amp;X and LyX options</string>
       </attribute>
       <attribute name="title" >
        <string>LaTe&amp;X and LyX options</string>
       </attribute>


@@ -670,22 +613,10 @@
           <bool>true</bool>
          </property>
          <layout class="QGridLayout" >
           <bool>true</bool>
          </property>
          <layout class="QGridLayout" >

-          <property name="leftMargin" >
+          <property name="margin" >

            <number>9</number>
           </property>
            <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>
-          <property name="horizontalSpacing" >
-           <number>6</number>
-          </property>
-          <property name="verticalSpacing" >
+          <property name="spacing" >

            <number>6</number>
           </property>
           <item row="0" column="4" >
            <number>6</number>
           </property>
           <item row="0" column="4" >


@@ -693,7 +624,7 @@
             <property name="orientation" >
              <enum>Qt::Horizontal</enum>
             </property>
             <property name="orientation" >
              <enum>Qt::Horizontal</enum>
             </property>

-            <property name="sizeHint" >
+            <property name="sizeHint" stdset="0" >

              <size>
               <width>40</width>
               <height>20</height>
              <size>
               <width>40</width>
               <height>20</height>


@@ -767,7 +698,7 @@
          <property name="orientation" >
           <enum>Qt::Vertical</enum>
          </property>
          <property name="orientation" >
           <enum>Qt::Vertical</enum>
          </property>

-         <property name="sizeHint" >
+         <property name="sizeHint" stdset="0" >

           <size>
            <width>354</width>
            <height>81</height>
           <size>
            <width>354</width>
            <height>81</height>