Files
qt-creator/src/plugins/help/docsettingspage.ui

81 lines
2.1 KiB
Plaintext
Raw Normal View History

2009-06-23 17:35:00 +02:00
<?xml version="1.0" encoding="UTF-8"?>
<ui version="4.0">
2008-12-02 12:01:29 +01:00
<class>DocSettingsPage</class>
2009-06-23 17:35:00 +02:00
<widget class="QWidget" name="DocSettingsPage">
<property name="geometry">
2008-12-02 12:01:29 +01:00
<rect>
<x>0</x>
<y>0</y>
2009-06-23 17:35:00 +02:00
<width>400</width>
<height>300</height>
2008-12-02 12:01:29 +01:00
</rect>
</property>
<property name="toolTip">
<string>Add and remove compressed help files, .qch.</string>
</property>
2009-06-23 17:35:00 +02:00
<layout class="QVBoxLayout" name="verticalLayout">
2008-12-02 12:01:29 +01:00
<item>
<widget class="QGroupBox" name="groupBox">
<property name="title">
<string>Registered Documentation</string>
2008-12-02 12:01:29 +01:00
</property>
<layout class="QHBoxLayout" name="horizontalLayout">
<item>
<widget class="QListWidget" name="docsListWidget">
<property name="selectionMode">
<enum>QAbstractItemView::ContiguousSelection</enum>
</property>
<property name="uniformItemSizes">
<bool>true</bool>
</property>
<property name="sortingEnabled">
<bool>true</bool>
</property>
</widget>
</item>
<item>
2009-06-23 17:35:00 +02:00
<layout class="QVBoxLayout" name="_4">
<property name="spacing">
<number>6</number>
</property>
2009-06-23 17:35:00 +02:00
<property name="margin">
<number>0</number>
</property>
<item>
<widget class="QPushButton" name="addButton">
2009-06-23 17:35:00 +02:00
<property name="text">
<string>Add...</string>
</property>
</widget>
</item>
<item>
<widget class="QPushButton" name="removeButton">
2009-06-23 17:35:00 +02:00
<property name="text">
<string>Remove</string>
</property>
</widget>
</item>
<item>
<spacer>
2009-06-23 17:35:00 +02:00
<property name="orientation">
<enum>Qt::Vertical</enum>
</property>
2009-06-23 17:35:00 +02:00
<property name="sizeHint" stdset="0">
<size>
<width>20</width>
<height>40</height>
</size>
</property>
</spacer>
</item>
</layout>
</item>
</layout>
</widget>
2008-12-02 12:01:29 +01:00
</item>
</layout>
</widget>
<resources/>
2008-12-02 12:01:29 +01:00
<connections/>
</ui>