eric6/Plugins/DocumentationPlugins/Ericdoc/EricdocConfigDialog.ui

changeset 8039
13fed1ed06e8
parent 7537
4e2d6b12f67c
equal deleted inserted replaced
8038:73ec029d4107 8039:13fed1ed06e8
200 <verstretch>3</verstretch> 200 <verstretch>3</verstretch>
201 </sizepolicy> 201 </sizepolicy>
202 </property> 202 </property>
203 <property name="toolTip"> 203 <property name="toolTip">
204 <string>List of directory basenames to be ignored</string> 204 <string>List of directory basenames to be ignored</string>
205 </property>
206 <property name="alternatingRowColors">
207 <bool>true</bool>
205 </property> 208 </property>
206 </widget> 209 </widget>
207 </item> 210 </item>
208 <item row="1" column="2"> 211 <item row="1" column="2">
209 <widget class="E5PathPicker" name="ignoreDirPicker" native="true"> 212 <widget class="E5PathPicker" name="ignoreDirPicker" native="true">

eric ide

mercurial