2011-03-02 16:57:41 +01:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
<ui version="4.0">
|
|
|
|
<class>HistoryManager</class>
|
|
|
|
<widget class="QWidget" name="HistoryManager">
|
|
|
|
<property name="geometry">
|
|
|
|
<rect>
|
|
|
|
<x>0</x>
|
|
|
|
<y>0</y>
|
|
|
|
<width>735</width>
|
|
|
|
<height>547</height>
|
|
|
|
</rect>
|
|
|
|
</property>
|
|
|
|
<property name="windowTitle">
|
|
|
|
<string>History</string>
|
|
|
|
</property>
|
|
|
|
<layout class="QGridLayout" name="gridLayout">
|
2011-07-29 15:39:43 +02:00
|
|
|
<item row="1" column="0">
|
2011-03-02 16:57:41 +01:00
|
|
|
<widget class="QPushButton" name="deleteB">
|
|
|
|
<property name="text">
|
|
|
|
<string>Delete</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2011-07-29 15:39:43 +02:00
|
|
|
<item row="1" column="1">
|
2011-03-02 16:57:41 +01:00
|
|
|
<widget class="QPushButton" name="clearAll">
|
|
|
|
<property name="text">
|
|
|
|
<string>Clear All History</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2011-07-29 15:39:43 +02:00
|
|
|
<item row="1" column="2">
|
|
|
|
<spacer name="horizontalSpacer">
|
|
|
|
<property name="orientation">
|
|
|
|
<enum>Qt::Horizontal</enum>
|
2011-03-02 16:57:41 +01:00
|
|
|
</property>
|
2011-07-29 15:39:43 +02:00
|
|
|
<property name="sizeHint" stdset="0">
|
|
|
|
<size>
|
|
|
|
<width>40</width>
|
|
|
|
<height>20</height>
|
|
|
|
</size>
|
|
|
|
</property>
|
|
|
|
</spacer>
|
2011-03-02 16:57:41 +01:00
|
|
|
</item>
|
2012-04-30 16:33:14 +02:00
|
|
|
<item row="0" column="0" colspan="4">
|
|
|
|
<widget class="HistoryView" name="historyTree">
|
|
|
|
<property name="alternatingRowColors">
|
|
|
|
<bool>true</bool>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2011-03-02 16:57:41 +01:00
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
<customwidgets>
|
2012-04-30 16:33:14 +02:00
|
|
|
<customwidget>
|
|
|
|
<class>HistoryView</class>
|
|
|
|
<extends>QTreeView</extends>
|
|
|
|
<header>historyview.h</header>
|
|
|
|
</customwidget>
|
2011-03-02 16:57:41 +01:00
|
|
|
</customwidgets>
|
2011-09-17 11:39:25 +02:00
|
|
|
<resources/>
|
2011-03-02 16:57:41 +01:00
|
|
|
<connections/>
|
|
|
|
</ui>
|