2010-06-07 03:25:40 +00:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
<ui version="4.0">
|
|
|
|
<class>PreferencesDialog</class>
|
|
|
|
<widget class="QDialog" name="PreferencesDialog">
|
|
|
|
<property name="geometry">
|
|
|
|
<rect>
|
|
|
|
<x>0</x>
|
|
|
|
<y>0</y>
|
|
|
|
<width>370</width>
|
|
|
|
<height>370</height>
|
|
|
|
</rect>
|
|
|
|
</property>
|
|
|
|
<property name="windowTitle">
|
2010-06-14 07:12:53 +00:00
|
|
|
<string>Preferences</string>
|
2010-06-07 03:25:40 +00:00
|
|
|
</property>
|
|
|
|
<layout class="QVBoxLayout" name="verticalLayout">
|
|
|
|
<item>
|
2010-06-07 07:57:56 +00:00
|
|
|
<widget class="QTabWidget" name="prefsGroups">
|
|
|
|
<property name="tabPosition">
|
2010-06-07 22:35:32 +00:00
|
|
|
<enum>QTabWidget::North</enum>
|
2010-06-07 07:57:56 +00:00
|
|
|
</property>
|
2010-06-07 03:25:40 +00:00
|
|
|
<property name="currentIndex">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
2010-06-07 07:57:56 +00:00
|
|
|
<widget class="QWidget" name="tab_2">
|
|
|
|
<attribute name="title">
|
|
|
|
<string>Editor</string>
|
2010-06-07 03:25:40 +00:00
|
|
|
</attribute>
|
2010-06-07 21:59:16 +00:00
|
|
|
<layout class="QVBoxLayout" name="verticalLayout_2">
|
2010-06-07 03:25:40 +00:00
|
|
|
<item>
|
2010-06-07 07:57:56 +00:00
|
|
|
<layout class="QHBoxLayout" name="horizontalLayout_7">
|
2010-06-07 03:25:40 +00:00
|
|
|
<item>
|
2010-06-07 07:57:56 +00:00
|
|
|
<widget class="QLabel" name="label_7">
|
2010-06-07 03:25:40 +00:00
|
|
|
<property name="text">
|
2010-06-07 07:57:56 +00:00
|
|
|
<string>Font</string>
|
2010-06-07 03:25:40 +00:00
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
2010-06-07 07:57:56 +00:00
|
|
|
<widget class="QFontComboBox" name="fontSelect"/>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<layout class="QHBoxLayout" name="horizontalLayout_8">
|
|
|
|
<item>
|
|
|
|
<widget class="QLabel" name="label_8">
|
2010-06-07 03:25:40 +00:00
|
|
|
<property name="text">
|
2010-06-07 07:57:56 +00:00
|
|
|
<string>Size</string>
|
2010-06-07 03:25:40 +00:00
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
2010-06-07 07:57:56 +00:00
|
|
|
<widget class="QSpinBox" name="fontSize">
|
|
|
|
<property name="value">
|
|
|
|
<number>12</number>
|
2010-06-07 03:25:40 +00:00
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2010-06-07 07:57:56 +00:00
|
|
|
</layout>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<layout class="QHBoxLayout" name="horizontalLayout">
|
2010-06-07 03:25:40 +00:00
|
|
|
<item>
|
2010-06-07 07:57:56 +00:00
|
|
|
<widget class="QLabel" name="label_2">
|
2010-06-07 03:25:40 +00:00
|
|
|
<property name="text">
|
2010-06-15 06:54:58 +00:00
|
|
|
<string>Foreground Colour</string>
|
2010-06-07 03:25:40 +00:00
|
|
|
</property>
|
|
|
|
<property name="alignment">
|
|
|
|
<set>Qt::AlignLeading|Qt::AlignLeft|Qt::AlignVCenter</set>
|
|
|
|
</property>
|
|
|
|
<property name="buddy">
|
2010-06-07 07:57:56 +00:00
|
|
|
<cstring>fgButton</cstring>
|
2010-06-07 03:25:40 +00:00
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
2010-06-07 07:57:56 +00:00
|
|
|
<widget class="QPushButton" name="fgButton">
|
|
|
|
<property name="autoFillBackground">
|
|
|
|
<bool>false</bool>
|
2010-06-07 03:25:40 +00:00
|
|
|
</property>
|
2010-06-07 07:57:56 +00:00
|
|
|
<property name="text">
|
|
|
|
<string>Click To Change</string>
|
2010-06-07 03:25:40 +00:00
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2010-06-07 07:57:56 +00:00
|
|
|
</layout>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<layout class="QHBoxLayout" name="horizontalLayout_2">
|
2010-06-07 03:25:40 +00:00
|
|
|
<item>
|
2010-06-07 07:57:56 +00:00
|
|
|
<widget class="QLabel" name="label_3">
|
2010-06-07 03:25:40 +00:00
|
|
|
<property name="text">
|
2010-06-15 06:54:58 +00:00
|
|
|
<string>Background Colour</string>
|
2010-06-07 03:25:40 +00:00
|
|
|
</property>
|
|
|
|
<property name="alignment">
|
|
|
|
<set>Qt::AlignLeading|Qt::AlignLeft|Qt::AlignVCenter</set>
|
|
|
|
</property>
|
|
|
|
<property name="buddy">
|
2010-06-07 07:57:56 +00:00
|
|
|
<cstring>bgButton</cstring>
|
2010-06-07 03:25:40 +00:00
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
2010-06-07 07:57:56 +00:00
|
|
|
<widget class="QPushButton" name="bgButton">
|
2010-06-07 03:25:40 +00:00
|
|
|
<property name="autoFillBackground">
|
|
|
|
<bool>false</bool>
|
|
|
|
</property>
|
|
|
|
<property name="text">
|
|
|
|
<string>Click To Change</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2010-06-07 07:57:56 +00:00
|
|
|
</layout>
|
|
|
|
</item>
|
2010-06-07 21:59:16 +00:00
|
|
|
<item>
|
|
|
|
<layout class="QHBoxLayout" name="horizontalLayout_9">
|
|
|
|
<item>
|
|
|
|
<widget class="QLabel" name="label_9">
|
|
|
|
<property name="text">
|
2010-06-15 06:54:58 +00:00
|
|
|
<string>Error Colour</string>
|
2010-06-07 21:59:16 +00:00
|
|
|
</property>
|
2010-06-07 22:35:32 +00:00
|
|
|
<property name="buddy">
|
|
|
|
<cstring>errorButton</cstring>
|
|
|
|
</property>
|
2010-06-07 21:59:16 +00:00
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QPushButton" name="errorButton">
|
|
|
|
<property name="text">
|
|
|
|
<string>Click To Change</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</item>
|
2010-06-07 07:57:56 +00:00
|
|
|
</layout>
|
|
|
|
</widget>
|
2010-06-07 21:59:16 +00:00
|
|
|
<widget class="QWidget" name="prefsGroupsPage1">
|
2010-06-07 07:57:56 +00:00
|
|
|
<attribute name="title">
|
|
|
|
<string>Highlighting</string>
|
|
|
|
</attribute>
|
|
|
|
<layout class="QVBoxLayout" name="verticalLayout_3">
|
|
|
|
<item>
|
|
|
|
<layout class="QHBoxLayout" name="horizontalLayout_3">
|
2010-06-07 03:25:40 +00:00
|
|
|
<item>
|
2010-06-07 07:57:56 +00:00
|
|
|
<widget class="QLabel" name="label_4">
|
2010-06-07 03:25:40 +00:00
|
|
|
<property name="text">
|
2010-06-07 07:57:56 +00:00
|
|
|
<string>Comment</string>
|
|
|
|
</property>
|
|
|
|
<property name="alignment">
|
|
|
|
<set>Qt::AlignLeading|Qt::AlignLeft|Qt::AlignVCenter</set>
|
|
|
|
</property>
|
|
|
|
<property name="buddy">
|
|
|
|
<cstring>commentButton</cstring>
|
2010-06-07 03:25:40 +00:00
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QPushButton" name="commentButton">
|
|
|
|
<property name="autoFillBackground">
|
|
|
|
<bool>false</bool>
|
|
|
|
</property>
|
|
|
|
<property name="text">
|
|
|
|
<string>Click To Change</string>
|
|
|
|
</property>
|
|
|
|
<property name="flat">
|
|
|
|
<bool>false</bool>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2010-06-07 07:57:56 +00:00
|
|
|
</layout>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<layout class="QHBoxLayout" name="horizontalLayout_4">
|
|
|
|
<item>
|
|
|
|
<widget class="QLabel" name="label_5">
|
|
|
|
<property name="text">
|
|
|
|
<string>Escaped Character</string>
|
|
|
|
</property>
|
|
|
|
<property name="alignment">
|
|
|
|
<set>Qt::AlignLeading|Qt::AlignLeft|Qt::AlignVCenter</set>
|
|
|
|
</property>
|
|
|
|
<property name="buddy">
|
|
|
|
<cstring>escapedButton</cstring>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2010-06-07 03:25:40 +00:00
|
|
|
<item>
|
|
|
|
<widget class="QPushButton" name="escapedButton">
|
|
|
|
<property name="autoFillBackground">
|
|
|
|
<bool>false</bool>
|
|
|
|
</property>
|
|
|
|
<property name="text">
|
|
|
|
<string>Click To Change</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2010-06-07 07:57:56 +00:00
|
|
|
</layout>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<layout class="QHBoxLayout" name="horizontalLayout_5">
|
|
|
|
<item>
|
|
|
|
<widget class="QLabel" name="label_6">
|
|
|
|
<property name="text">
|
|
|
|
<string>Conditional</string>
|
|
|
|
</property>
|
|
|
|
<property name="alignment">
|
|
|
|
<set>Qt::AlignLeading|Qt::AlignLeft|Qt::AlignVCenter</set>
|
|
|
|
</property>
|
|
|
|
<property name="buddy">
|
|
|
|
<cstring>conditionalButton</cstring>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2010-06-07 03:25:40 +00:00
|
|
|
<item>
|
|
|
|
<widget class="QPushButton" name="conditionalButton">
|
|
|
|
<property name="autoFillBackground">
|
|
|
|
<bool>false</bool>
|
|
|
|
</property>
|
|
|
|
<property name="text">
|
|
|
|
<string>Click To Change</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2010-06-07 07:57:56 +00:00
|
|
|
</layout>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<layout class="QHBoxLayout" name="horizontalLayout_6">
|
|
|
|
<item>
|
|
|
|
<widget class="QLabel" name="label">
|
|
|
|
<property name="text">
|
|
|
|
<string>Tag</string>
|
|
|
|
</property>
|
|
|
|
<property name="alignment">
|
|
|
|
<set>Qt::AlignLeading|Qt::AlignLeft|Qt::AlignVCenter</set>
|
|
|
|
</property>
|
|
|
|
<property name="buddy">
|
|
|
|
<cstring>tagButton</cstring>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2010-06-07 03:25:40 +00:00
|
|
|
<item>
|
|
|
|
<widget class="QPushButton" name="tagButton">
|
|
|
|
<property name="autoFillBackground">
|
|
|
|
<bool>false</bool>
|
|
|
|
</property>
|
|
|
|
<property name="text">
|
|
|
|
<string>Click To Change</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QDialogButtonBox" name="buttonBox">
|
|
|
|
<property name="orientation">
|
|
|
|
<enum>Qt::Horizontal</enum>
|
|
|
|
</property>
|
|
|
|
<property name="standardButtons">
|
|
|
|
<set>QDialogButtonBox::Cancel|QDialogButtonBox::Ok</set>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
<resources/>
|
|
|
|
<connections>
|
|
|
|
<connection>
|
|
|
|
<sender>buttonBox</sender>
|
|
|
|
<signal>accepted()</signal>
|
|
|
|
<receiver>PreferencesDialog</receiver>
|
|
|
|
<slot>accept()</slot>
|
|
|
|
<hints>
|
|
|
|
<hint type="sourcelabel">
|
2010-06-07 07:57:56 +00:00
|
|
|
<x>257</x>
|
|
|
|
<y>360</y>
|
2010-06-07 03:25:40 +00:00
|
|
|
</hint>
|
|
|
|
<hint type="destinationlabel">
|
|
|
|
<x>157</x>
|
|
|
|
<y>274</y>
|
|
|
|
</hint>
|
|
|
|
</hints>
|
|
|
|
</connection>
|
|
|
|
<connection>
|
|
|
|
<sender>buttonBox</sender>
|
|
|
|
<signal>rejected()</signal>
|
|
|
|
<receiver>PreferencesDialog</receiver>
|
|
|
|
<slot>reject()</slot>
|
|
|
|
<hints>
|
|
|
|
<hint type="sourcelabel">
|
2010-06-07 07:57:56 +00:00
|
|
|
<x>325</x>
|
|
|
|
<y>360</y>
|
2010-06-07 03:25:40 +00:00
|
|
|
</hint>
|
|
|
|
<hint type="destinationlabel">
|
|
|
|
<x>286</x>
|
|
|
|
<y>274</y>
|
|
|
|
</hint>
|
|
|
|
</hints>
|
|
|
|
</connection>
|
|
|
|
</connections>
|
|
|
|
</ui>
|