2008-12-02 12:01:29 +01:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
|
<ui version="4.0">
|
2009-04-30 16:09:57 +02:00
|
|
|
<class>Core::Internal::GeneralSettings</class>
|
|
|
|
|
<widget class="QWidget" name="Core::Internal::GeneralSettings">
|
2009-11-24 15:05:02 +01:00
|
|
|
<property name="geometry">
|
|
|
|
|
<rect>
|
|
|
|
|
<x>0</x>
|
|
|
|
|
<y>0</y>
|
2010-11-11 10:46:08 +01:00
|
|
|
<width>527</width>
|
2015-08-14 13:25:31 +02:00
|
|
|
<height>469</height>
|
2009-11-24 15:05:02 +01:00
|
|
|
</rect>
|
|
|
|
|
</property>
|
2010-03-19 17:15:16 +01:00
|
|
|
<layout class="QVBoxLayout" name="verticalLayout">
|
2008-12-02 12:01:29 +01:00
|
|
|
<item>
|
2010-12-01 14:35:36 +01:00
|
|
|
<widget class="QGroupBox" name="interfaceBox">
|
2010-03-12 15:23:36 +01:00
|
|
|
<property name="title">
|
|
|
|
|
<string>User Interface</string>
|
|
|
|
|
</property>
|
|
|
|
|
<layout class="QGridLayout" name="gridLayout_2">
|
2013-03-04 20:53:15 +02:00
|
|
|
<item row="0" column="0">
|
|
|
|
|
<widget class="QLabel" name="colorLabel">
|
|
|
|
|
<property name="text">
|
|
|
|
|
<string>Color:</string>
|
|
|
|
|
</property>
|
|
|
|
|
</widget>
|
|
|
|
|
</item>
|
|
|
|
|
<item row="0" column="1">
|
|
|
|
|
<layout class="QHBoxLayout" name="horizontalLayout">
|
|
|
|
|
<item>
|
|
|
|
|
<widget class="Utils::QtColorButton" name="colorButton">
|
|
|
|
|
<property name="sizePolicy">
|
|
|
|
|
<sizepolicy hsizetype="Preferred" vsizetype="Preferred">
|
|
|
|
|
<horstretch>0</horstretch>
|
|
|
|
|
<verstretch>0</verstretch>
|
|
|
|
|
</sizepolicy>
|
|
|
|
|
</property>
|
|
|
|
|
<property name="minimumSize">
|
|
|
|
|
<size>
|
|
|
|
|
<width>64</width>
|
|
|
|
|
<height>0</height>
|
|
|
|
|
</size>
|
|
|
|
|
</property>
|
|
|
|
|
<property name="alphaAllowed" stdset="0">
|
|
|
|
|
<bool>false</bool>
|
|
|
|
|
</property>
|
|
|
|
|
</widget>
|
|
|
|
|
</item>
|
|
|
|
|
<item>
|
|
|
|
|
<widget class="QPushButton" name="resetColorButton">
|
|
|
|
|
<property name="toolTip">
|
|
|
|
|
<string comment="Color">Reset to default.</string>
|
|
|
|
|
</property>
|
|
|
|
|
<property name="text">
|
|
|
|
|
<string>Reset</string>
|
|
|
|
|
</property>
|
|
|
|
|
</widget>
|
|
|
|
|
</item>
|
|
|
|
|
<item>
|
|
|
|
|
<spacer name="horizontalSpacer">
|
|
|
|
|
<property name="orientation">
|
|
|
|
|
<enum>Qt::Horizontal</enum>
|
|
|
|
|
</property>
|
|
|
|
|
<property name="sizeHint" stdset="0">
|
|
|
|
|
<size>
|
|
|
|
|
<width>285</width>
|
|
|
|
|
<height>20</height>
|
|
|
|
|
</size>
|
|
|
|
|
</property>
|
|
|
|
|
</spacer>
|
|
|
|
|
</item>
|
|
|
|
|
</layout>
|
|
|
|
|
</item>
|
2014-11-06 09:45:42 +02:00
|
|
|
<item row="1" column="0">
|
|
|
|
|
<widget class="QLabel" name="themeLabel">
|
|
|
|
|
<property name="text">
|
|
|
|
|
<string>Theme:</string>
|
|
|
|
|
</property>
|
|
|
|
|
</widget>
|
|
|
|
|
</item>
|
|
|
|
|
<item row="1" column="1">
|
|
|
|
|
<widget class="Core::Internal::ThemeSettingsWidget" name="themeWidget" native="true"/>
|
|
|
|
|
</item>
|
2013-01-10 20:45:28 +02:00
|
|
|
<item row="2" column="0">
|
|
|
|
|
<widget class="QLabel" name="languageLabel">
|
2009-11-20 16:55:23 +01:00
|
|
|
<property name="text">
|
2013-01-10 20:45:28 +02:00
|
|
|
<string>Language:</string>
|
2009-11-20 16:55:23 +01:00
|
|
|
</property>
|
|
|
|
|
</widget>
|
|
|
|
|
</item>
|
2010-04-14 18:00:59 +02:00
|
|
|
<item row="2" column="1">
|
2010-03-12 15:23:36 +01:00
|
|
|
<layout class="QHBoxLayout" name="horizontalLayout_3">
|
2009-04-09 20:09:10 +02:00
|
|
|
<item>
|
2010-04-13 19:13:12 +02:00
|
|
|
<widget class="QComboBox" name="languageBox">
|
|
|
|
|
<property name="sizeAdjustPolicy">
|
|
|
|
|
<enum>QComboBox::AdjustToMinimumContentsLengthWithIcon</enum>
|
|
|
|
|
</property>
|
|
|
|
|
<property name="minimumContentsLength">
|
|
|
|
|
<number>20</number>
|
|
|
|
|
</property>
|
|
|
|
|
</widget>
|
2009-04-09 20:09:10 +02:00
|
|
|
</item>
|
2008-12-03 12:02:08 +01:00
|
|
|
<item>
|
2010-03-12 15:23:36 +01:00
|
|
|
<spacer name="horizontalSpacer_2">
|
|
|
|
|
<property name="orientation">
|
|
|
|
|
<enum>Qt::Horizontal</enum>
|
2008-12-03 12:02:08 +01:00
|
|
|
</property>
|
2010-04-13 19:13:12 +02:00
|
|
|
<property name="sizeHint" stdset="0">
|
|
|
|
|
<size>
|
|
|
|
|
<width>285</width>
|
|
|
|
|
<height>20</height>
|
|
|
|
|
</size>
|
|
|
|
|
</property>
|
|
|
|
|
</spacer>
|
|
|
|
|
</item>
|
2010-10-28 19:47:49 +02:00
|
|
|
</layout>
|
|
|
|
|
</item>
|
2013-01-10 20:46:06 +02:00
|
|
|
<item row="3" column="0">
|
|
|
|
|
<widget class="QPushButton" name="resetWarningsButton">
|
2013-03-05 19:37:41 +02:00
|
|
|
<property name="toolTip">
|
2014-03-17 18:22:49 +01:00
|
|
|
<string>Re-enable warnings that were suppressed by selecting "Do Not Show Again" (for example, missing highlighter).</string>
|
2013-03-05 19:37:41 +02:00
|
|
|
</property>
|
2013-01-10 20:46:06 +02:00
|
|
|
<property name="text">
|
2014-03-11 16:21:43 +01:00
|
|
|
<string comment="Button text">Reset Warnings</string>
|
2013-01-10 20:46:06 +02:00
|
|
|
</property>
|
|
|
|
|
</widget>
|
|
|
|
|
</item>
|
2010-03-12 15:23:36 +01:00
|
|
|
</layout>
|
|
|
|
|
</widget>
|
|
|
|
|
</item>
|
2008-12-02 12:01:29 +01:00
|
|
|
<item>
|
|
|
|
|
<spacer name="verticalSpacer">
|
|
|
|
|
<property name="orientation">
|
|
|
|
|
<enum>Qt::Vertical</enum>
|
|
|
|
|
</property>
|
|
|
|
|
<property name="sizeHint" stdset="0">
|
|
|
|
|
<size>
|
|
|
|
|
<width>20</width>
|
2010-03-12 15:23:36 +01:00
|
|
|
<height>30</height>
|
2008-12-02 12:01:29 +01:00
|
|
|
</size>
|
|
|
|
|
</property>
|
|
|
|
|
</spacer>
|
|
|
|
|
</item>
|
|
|
|
|
</layout>
|
|
|
|
|
</widget>
|
|
|
|
|
<customwidgets>
|
|
|
|
|
<customwidget>
|
2009-10-05 11:06:05 +02:00
|
|
|
<class>Utils::QtColorButton</class>
|
2008-12-02 12:01:29 +01:00
|
|
|
<extends>QToolButton</extends>
|
|
|
|
|
<header location="global">utils/qtcolorbutton.h</header>
|
|
|
|
|
</customwidget>
|
2014-11-06 09:45:42 +02:00
|
|
|
<customwidget>
|
|
|
|
|
<class>Core::Internal::ThemeSettingsWidget</class>
|
|
|
|
|
<extends>QWidget</extends>
|
2014-11-10 11:18:34 +01:00
|
|
|
<header location="global">coreplugin/themesettingswidget.h</header>
|
2014-11-06 09:45:42 +02:00
|
|
|
<container>1</container>
|
|
|
|
|
</customwidget>
|
2008-12-02 12:01:29 +01:00
|
|
|
</customwidgets>
|
2015-08-14 13:25:31 +02:00
|
|
|
<resources/>
|
|
|
|
|
<connections/>
|
2008-12-02 12:01:29 +01:00
|
|
|
</ui>
|