Warning, /utilities/kate/addons/externaltools/configwidget.ui is written in an unsupported language. File is not indexed.

0001 <?xml version="1.0" encoding="UTF-8"?>
0002 <ui version="4.0">
0003  <class>ExternalToolsConfigWidget</class>
0004  <widget class="QWidget" name="ExternalToolsConfigWidget">
0005   <property name="geometry">
0006    <rect>
0007     <x>0</x>
0008     <y>0</y>
0009     <width>433</width>
0010     <height>296</height>
0011    </rect>
0012   </property>
0013   <layout class="QVBoxLayout" name="verticalLayout">
0014    <item>
0015     <widget class="QTreeView" name="lbTools">
0016      <property name="whatsThis">
0017       <string>This list shows all the configured tools, represented by their menu text.</string>
0018      </property>
0019      <property name="headerHidden">
0020       <bool>true</bool>
0021      </property>
0022     </widget>
0023    </item>
0024    <item>
0025     <layout class="QHBoxLayout" name="horizontalLayout">
0026      <item>
0027       <widget class="QPushButton" name="btnAdd">
0028        <property name="text">
0029         <string>&amp;Add</string>
0030        </property>
0031       </widget>
0032      </item>
0033      <item>
0034       <widget class="QPushButton" name="btnEdit">
0035        <property name="text">
0036         <string>&amp;Edit...</string>
0037        </property>
0038       </widget>
0039      </item>
0040      <item>
0041       <widget class="QPushButton" name="btnRemove">
0042        <property name="text">
0043         <string>&amp;Remove</string>
0044        </property>
0045       </widget>
0046      </item>
0047      <item>
0048       <spacer name="horizontalSpacer">
0049        <property name="orientation">
0050         <enum>Qt::Horizontal</enum>
0051        </property>
0052        <property name="sizeHint" stdset="0">
0053         <size>
0054          <width>40</width>
0055          <height>20</height>
0056         </size>
0057        </property>
0058       </spacer>
0059      </item>
0060     </layout>
0061    </item>
0062   </layout>
0063  </widget>
0064  <resources/>
0065  <connections/>
0066 </ui>