Properly scale some icons for HiDPI (#12695)

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

diff --git a/src/frontends/qt/ui/SearchUi.ui b/src/frontends/qt/ui/SearchUi.ui
index ed6a4c8e108fd133ea9ad73fc7ac2429d0ef0f49..2b24b5a05a64d170aec2e26ee91c5f299c0d31a8 100644 (file)
--- a/src/frontends/qt/ui/SearchUi.ui
+++ b/src/frontends/qt/ui/SearchUi.ui
@@ -7,7 +7,7 @@
     <x>0</x>
     <y>0</y>
     <width>706</width>
-    <height>135</height>
+    <height>103</height>
    </rect>
   </property>
   <property name="sizePolicy">
@@ -23,8 +23,26 @@
    <bool>false</bool>
   </property>
   <layout class="QGridLayout" name="gridLayout_2">
+   <property name="leftMargin">
+    <number>6</number>
+   </property>
+   <property name="topMargin">
+    <number>3</number>
+   </property>
+   <property name="rightMargin">
+    <number>3</number>
+   </property>
+   <property name="bottomMargin">
+    <number>3</number>
+   </property>
+   <property name="spacing">
+    <number>0</number>
+   </property>
    <item row="0" column="0">
     <layout class="QGridLayout" name="gridLayout">
+     <property name="spacing">
+      <number>3</number>
+     </property>
      <item row="0" column="2">
       <widget class="QPushButton" name="findPrevPB">
        <property name="enabled">
@@ -198,6 +216,12 @@
       </property>
       <item>
        <layout class="QHBoxLayout" name="horizontalLayout_2">
+        <property name="spacing">
+         <number>6</number>
+        </property>
+        <property name="topMargin">
+         <number>6</number>
+        </property>
         <item>
          <widget class="QCheckBox" name="caseCB">
           <property name="toolTip">
@@ -246,6 +270,9 @@
           <property name="text">
            <string>&amp;Wrap</string>
           </property>
+          <property name="checked">
+           <bool>true</bool>
+          </property>
          </widget>
         </item>
         <item>