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>
|
2019-09-09 16:50:16 +02:00
|
|
|
<layout class="QGridLayout" name="gridLayout">
|
2018-04-09 14:50:10 +02:00
|
|
|
<item row="1" column="0">
|
|
|
|
|
<widget class="QLabel" name="themeLabel">
|
|
|
|
|
<property name="text">
|
|
|
|
|
<string>Theme:</string>
|
|
|
|
|
</property>
|
|
|
|
|
</widget>
|
|
|
|
|
</item>
|
2019-09-09 16:50:16 +02:00
|
|
|
<item row="1" column="1">
|
|
|
|
|
<widget class="Core::Internal::ThemeChooser" name="themeChooser" native="true"/>
|
|
|
|
|
</item>
|
2013-03-04 20:53:15 +02:00
|
|
|
<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>
|
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>
|
2019-09-09 16:50:16 +02:00
|
|
|
<item row="0" column="0">
|
|
|
|
|
<widget class="QLabel" name="colorLabel">
|
|
|
|
|
<property name="text">
|
|
|
|
|
<string>Color:</string>
|
|
|
|
|
</property>
|
|
|
|
|
</widget>
|
|
|
|
|
</item>
|
|
|
|
|
<item row="5" column="0">
|
|
|
|
|
<widget class="QPushButton" name="resetWarningsButton">
|
|
|
|
|
<property name="toolTip">
|
|
|
|
|
<string>Re-enable warnings that were suppressed by selecting "Do Not Show Again" (for example, missing highlighter).</string>
|
|
|
|
|
</property>
|
|
|
|
|
<property name="text">
|
|
|
|
|
<string comment="Button text">Reset Warnings</string>
|
|
|
|
|
</property>
|
|
|
|
|
</widget>
|
|
|
|
|
</item>
|
|
|
|
|
<item row="2" column="0">
|
|
|
|
|
<widget class="QLabel" name="languageLabel">
|
|
|
|
|
<property name="text">
|
|
|
|
|
<string>Language:</string>
|
|
|
|
|
</property>
|
|
|
|
|
</widget>
|
2018-04-09 14:50:10 +02:00
|
|
|
</item>
|
|
|
|
|
<item row="3" column="1">
|
2019-09-09 16:50:16 +02:00
|
|
|
<widget class="QCheckBox" name="dpiCheckbox">
|
|
|
|
|
<property name="text">
|
|
|
|
|
<string>Enable high DPI scaling</string>
|
|
|
|
|
</property>
|
|
|
|
|
</widget>
|
2018-04-09 14:50:10 +02:00
|
|
|
</item>
|
2019-09-09 16:50:16 +02:00
|
|
|
<item row="4" column="1">
|
|
|
|
|
<widget class="QCheckBox" name="showShortcutsInContextMenus">
|
2013-01-10 20:46:06 +02:00
|
|
|
<property name="text">
|
2019-09-09 16:50:16 +02:00
|
|
|
<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>
|
2016-01-20 22:20:59 +02:00
|
|
|
<class>Core::Internal::ThemeChooser</class>
|
2014-11-06 09:45:42 +02:00
|
|
|
<extends>QWidget</extends>
|
2016-01-20 22:20:59 +02:00
|
|
|
<header location="global">coreplugin/themechooser.h</header>
|
2014-11-06 09:45:42 +02:00
|
|
|
<container>1</container>
|
|
|
|
|
</customwidget>
|
2008-12-02 12:01:29 +01:00
|
|
|
</customwidgets>
|
2016-08-01 18:46:41 +03:00
|
|
|
<tabstops>
|
|
|
|
|
<tabstop>colorButton</tabstop>
|
|
|
|
|
<tabstop>resetColorButton</tabstop>
|
|
|
|
|
<tabstop>languageBox</tabstop>
|
|
|
|
|
<tabstop>resetWarningsButton</tabstop>
|
|
|
|
|
</tabstops>
|
2015-08-14 13:25:31 +02:00
|
|
|
<resources/>
|
|
|
|
|
<connections/>
|
2008-12-02 12:01:29 +01:00
|
|
|
</ui>
|