Properly scale some icons for HiDPI (#12695)

[lyx.git] / src / frontends / qt / ui / MasterChildUi.ui

diff --git a/src/frontends/qt/ui/MasterChildUi.ui b/src/frontends/qt/ui/MasterChildUi.ui
index fb04909f620029a4e1d4a0eb7655d4aa28dd1204..4e2e19dcc05e9fb68c57a05c108c78d93c4b56ba 100644 (file)
--- a/src/frontends/qt/ui/MasterChildUi.ui
+++ b/src/frontends/qt/ui/MasterChildUi.ui
@@ -6,8 +6,8 @@
    <rect>
     <x>0</x>
     <y>0</y>
-    <width>306</width>
-    <height>435</height>
+    <width>359</width>
+    <height>444</height>
    </rect>
   </property>
   <property name="windowTitle">
@@ -23,16 +23,6 @@
       <bool>true</bool>
      </property>
      <layout class="QGridLayout" name="gridLayout_2">
-      <item row="0" column="0">
-       <widget class="QRadioButton" name="includeallRB">
-        <property name="toolTip">
-         <string>Include all subdocuments in the output</string>
-        </property>
-        <property name="text">
-         <string>&amp;Include all children</string>
-        </property>
-       </widget>
-      </item>
       <item row="1" column="0">
        <widget class="QRadioButton" name="includeonlyRB">
         <property name="toolTip">
@@ -41,15 +31,22 @@
         <property name="text">
          <string>Include only &amp;selected children</string>
         </property>
+        <attribute name="buttonGroup">
+         <string notr="true">buttonGroup</string>
+        </attribute>
        </widget>
       </item>
-      <item row="2" column="0">
-       <widget class="QTreeWidget" name="childrenTW">
-        <column>
-         <property name="text">
-          <string notr="true">1</string>
-         </property>
-        </column>
+      <item row="0" column="0">
+       <widget class="QRadioButton" name="includeallRB">
+        <property name="toolTip">
+         <string>Include all subdocuments in the output</string>
+        </property>
+        <property name="text">
+         <string>&amp;Include all children</string>
+        </property>
+        <attribute name="buttonGroup">
+         <string notr="true">buttonGroup</string>
+        </attribute>
        </widget>
       </item>
       <item row="3" column="0">
@@ -64,8 +61,7 @@
          <item row="0" column="0">
           <widget class="QRadioButton" name="maintainCRNoneRB">
            <property name="toolTip">
-            <string>All counters and references of excluded child documents will be ignored, thus the counters in the output will differ from an output of the complete document. 
-This is the fastest method. Use this if you do not need correct counter values and references.</string>
+            <string>All counters and references of excluded child documents will be ignored, thus the counters in the output will differ from an output of the complete document.&lt;br&gt;This is the fastest method. Use this if you do not need correct counter values and references.</string>
            </property>
            <property name="text">
             <string>Do &amp;not maintain (fast)</string>
@@ -75,8 +71,7 @@ This is the fastest method. Use this if you do not need correct counter values a
          <item row="1" column="0">
           <widget class="QRadioButton" name="maintainCRMostlyRB">
            <property name="toolTip">
-            <string>Counters and references of excluded child documents will be set up once and adapted if an excluded document has been modified. This sets up counters and references correctly in most cases, but it does not adjust page references to unincluded children that change due to changes of included files. 
-This is significantly faster than &quot;Strictly maintain&quot;. Use this if you need correct counters and more or less correct references.</string>
+            <string>Counters and references of excluded child documents will be set up once and adapted if an excluded document has been modified. This sets up counters and references correctly in most cases, but it does not adjust page references to unincluded children that change due to changes of included files.&lt;br&gt;This is significantly faster than &quot;Strictly maintain&quot;. Use this if you need correct counters and more or less correct references.</string>
            </property>
            <property name="text">
             <string>Maintain mostl&amp;y (medium)</string>
@@ -86,8 +81,7 @@ This is significantly faster than &quot;Strictly maintain&quot;. Use this if you
          <item row="2" column="0">
           <widget class="QRadioButton" name="maintainCRStrictRB">
            <property name="toolTip">
-            <string>Assure that all counters and references are identical to the complete document. This can be much slower than the first two methods. 
-Use this if you absolutely need correct counters.</string>
+            <string>Assure that all counters and references are identical to the complete document. This can be much slower than the first two methods.&lt;br&gt;Use this if you absolutely need correct counters.</string>
            </property>
            <property name="text">
             <string>Strictly &amp;maintain (slow)</string>
@@ -97,6 +91,15 @@ Use this if you absolutely need correct counters.</string>
         </layout>
        </widget>
       </item>
+      <item row="2" column="0">
+       <widget class="QTreeWidget" name="childrenTW">
+        <column>
+         <property name="text">
+          <string notr="true">1</string>
+         </property>
+        </column>
+       </widget>
+      </item>
      </layout>
     </widget>
    </item>
@@ -107,4 +110,7 @@ Use this if you absolutely need correct counters.</string>
  </includes>
  <resources/>
  <connections/>
+ <buttongroups>
+  <buttongroup name="buttonGroup"/>
+ </buttongroups>
 </ui>