commit 528eee0a25a79855f7123545762f8ba433d5c2cc
Author: Daniel Ramoeller <[email protected]>
Date: Fri Mar 19 08:54:22 2021 +0100
Adjust spacing of Quick Find Dock
Fix for bug #12209.
(amended by Jürgen Spitzmüller)
---
src/frontends/qt/ui/SearchUi.ui | 26 +++++++++++++++++++++++++-
1 files changed, 25 insertions(+), 1 deletions(-)
diff --git a/src/frontends/qt/ui/SearchUi.ui b/src/frontends/qt/ui/SearchUi.ui
index 1837d6e..2b24b5a 100644
--- 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">
--
lyx-cvs mailing list
[email protected]
http://lists.lyx.org/mailman/listinfo/lyx-cvs
