QScintilla/ReplaceWidget.ui

changeset 2588
28a8bbfe097b
parent 2362
68a92d01c1cc
child 3166
f52b8cf0cdb2
equal deleted inserted replaced
2587:68cc83a68883 2588:28a8bbfe097b
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>795</width> 9 <width>805</width>
10 <height>56</height> 10 <height>56</height>
11 </rect> 11 </rect>
12 </property>
13 <property name="sizePolicy">
14 <sizepolicy hsizetype="Expanding" vsizetype="Preferred">
15 <horstretch>0</horstretch>
16 <verstretch>0</verstretch>
17 </sizepolicy>
12 </property> 18 </property>
13 <property name="windowTitle"> 19 <property name="windowTitle">
14 <string>Find and Replace</string> 20 <string>Find and Replace</string>
15 </property> 21 </property>
16 <layout class="QGridLayout" name="gridLayout"> 22 <layout class="QGridLayout" name="gridLayout">

eric ide

mercurial