QScintilla/ReplaceWidget.ui

changeset 1529
0705902d6c0f
parent 1527
b60af978f526
child 2362
68a92d01c1cc
equal deleted inserted replaced
1527:b60af978f526 1529:0705902d6c0f
4 <widget class="QWidget" name="ReplaceWidget"> 4 <widget class="QWidget" name="ReplaceWidget">
5 <property name="geometry"> 5 <property name="geometry">
6 <rect> 6 <rect>
7 <x>0</x> 7 <x>0</x>
8 <y>0</y> 8 <y>0</y>
9 <width>722</width> 9 <width>724</width>
10 <height>77</height> 10 <height>69</height>
11 </rect> 11 </rect>
12 </property> 12 </property>
13 <property name="windowTitle"> 13 <property name="windowTitle">
14 <string>Find and Replace</string> 14 <string>Find and Replace</string>
15 </property> 15 </property>
16 <layout class="QGridLayout" name="gridLayout"> 16 <layout class="QGridLayout" name="gridLayout">
17 <property name="leftMargin"> 17 <property name="margin">
18 <number>0</number> 18 <number>0</number>
19 </property>
20 <property name="topMargin">
21 <number>0</number>
22 </property>
23 <property name="rightMargin">
24 <number>0</number>
25 </property>
26 <property name="bottomMargin">
27 <number>12</number>
28 </property> 19 </property>
29 <item row="0" column="0"> 20 <item row="0" column="0">
30 <widget class="QToolButton" name="closeButton"> 21 <widget class="QToolButton" name="closeButton">
31 <property name="toolTip"> 22 <property name="toolTip">
32 <string>Press to close the window</string> 23 <string>Press to close the window</string>

eric ide

mercurial