2010-02-01 15:10:06 +01:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
<ui version="4.0">
|
|
|
|
<class>Core::Internal::GeneralSettings</class>
|
|
|
|
<widget class="QWidget" name="Core::Internal::GeneralSettings">
|
|
|
|
<property name="geometry">
|
|
|
|
<rect>
|
|
|
|
<x>0</x>
|
|
|
|
<y>0</y>
|
|
|
|
<width>536</width>
|
|
|
|
<height>233</height>
|
|
|
|
</rect>
|
|
|
|
</property>
|
|
|
|
<layout class="QVBoxLayout" name="verticalLayout_2">
|
|
|
|
<item>
|
|
|
|
<widget class="QGroupBox" name="groupBox">
|
|
|
|
<property name="title">
|
|
|
|
<string>General settings</string>
|
|
|
|
</property>
|
2010-06-01 10:07:53 +02:00
|
|
|
<layout class="QGridLayout" name="gridLayout">
|
|
|
|
<item row="1" column="0">
|
|
|
|
<widget class="QLabel" name="terminalLabel">
|
|
|
|
<property name="text">
|
|
|
|
<string>Terminal:</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
2010-02-01 15:10:06 +01:00
|
|
|
</item>
|
2010-06-01 10:07:53 +02:00
|
|
|
<item row="7" column="0">
|
|
|
|
<widget class="QLabel" name="label">
|
|
|
|
<property name="text">
|
|
|
|
<string>External editor:</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
2010-02-01 15:10:06 +01:00
|
|
|
</item>
|
2010-06-01 10:07:53 +02:00
|
|
|
<item row="9" column="0">
|
|
|
|
<widget class="QLabel" name="label_2">
|
|
|
|
<property name="text">
|
|
|
|
<string>When files are externally modified:</string>
|
|
|
|
</property>
|
|
|
|
<property name="wordWrap">
|
|
|
|
<bool>true</bool>
|
|
|
|
</property>
|
|
|
|
</widget>
|
2010-02-01 15:10:06 +01:00
|
|
|
</item>
|
2010-06-01 10:07:53 +02:00
|
|
|
<item row="1" column="1">
|
|
|
|
<widget class="QLineEdit" name="terminalEdit"/>
|
|
|
|
</item>
|
|
|
|
<item row="0" column="0">
|
|
|
|
<widget class="QLabel" name="colorLabel">
|
|
|
|
<property name="text">
|
|
|
|
<string>User interface color:</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item row="1" column="2">
|
|
|
|
<widget class="QToolButton" name="resetTerminalButton">
|
|
|
|
<property name="toolTip">
|
|
|
|
<string>Reset to default</string>
|
|
|
|
</property>
|
|
|
|
<property name="text">
|
|
|
|
<string>R</string>
|
|
|
|
</property>
|
|
|
|
<property name="icon">
|
|
|
|
<iconset>
|
|
|
|
<normaloff>:/core/images/reset.png</normaloff>:/core/images/reset.png</iconset>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item row="7" column="1">
|
|
|
|
<widget class="QLineEdit" name="externalEditorEdit"/>
|
|
|
|
</item>
|
|
|
|
<item row="7" column="2">
|
|
|
|
<widget class="QToolButton" name="resetEditorButton">
|
|
|
|
<property name="toolTip">
|
|
|
|
<string>Reset to default</string>
|
|
|
|
</property>
|
|
|
|
<property name="text">
|
|
|
|
<string>R</string>
|
|
|
|
</property>
|
|
|
|
<property name="icon">
|
|
|
|
<iconset>
|
|
|
|
<normaloff>:/core/images/reset.png</normaloff>:/core/images/reset.png</iconset>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item row="7" column="3">
|
|
|
|
<widget class="QToolButton" name="helpExternalEditorButton">
|
|
|
|
<property name="text">
|
|
|
|
<string>?</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item row="0" column="1">
|
|
|
|
<widget class="QWidget" name="widget" native="true">
|
|
|
|
<layout class="QGridLayout" name="gridLayout_2">
|
|
|
|
<property name="margin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<item row="0" column="1">
|
|
|
|
<widget class="QToolButton" name="resetButton">
|
|
|
|
<property name="toolTip">
|
|
|
|
<string>Reset to default</string>
|
2010-02-01 15:10:06 +01:00
|
|
|
</property>
|
|
|
|
<property name="text">
|
2010-06-01 10:07:53 +02:00
|
|
|
<string>R</string>
|
2010-02-01 15:10:06 +01:00
|
|
|
</property>
|
2010-06-01 10:07:53 +02:00
|
|
|
<property name="icon">
|
|
|
|
<iconset>
|
|
|
|
<normaloff>:/core/images/reset.png</normaloff>:/core/images/reset.png</iconset>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item row="0" column="0">
|
|
|
|
<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 row="0" column="2">
|
|
|
|
<spacer name="horizontalSpacer">
|
|
|
|
<property name="orientation">
|
|
|
|
<enum>Qt::Horizontal</enum>
|
|
|
|
</property>
|
|
|
|
<property name="sizeHint" stdset="0">
|
|
|
|
<size>
|
|
|
|
<width>40</width>
|
|
|
|
<height>20</height>
|
|
|
|
</size>
|
|
|
|
</property>
|
|
|
|
</spacer>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item row="9" column="1">
|
|
|
|
<widget class="QWidget" name="widget_2" native="true">
|
|
|
|
<layout class="QGridLayout" name="gridLayout_3">
|
|
|
|
<property name="margin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<item row="0" column="0">
|
|
|
|
<widget class="QComboBox" name="reloadBehavior">
|
|
|
|
<property name="sizePolicy">
|
|
|
|
<sizepolicy hsizetype="Preferred" vsizetype="Fixed">
|
|
|
|
<horstretch>0</horstretch>
|
|
|
|
<verstretch>0</verstretch>
|
|
|
|
</sizepolicy>
|
|
|
|
</property>
|
|
|
|
<property name="currentIndex">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<item>
|
|
|
|
<property name="text">
|
|
|
|
<string>Always ask</string>
|
|
|
|
</property>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<property name="text">
|
|
|
|
<string>Reload all modified files</string>
|
|
|
|
</property>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<property name="text">
|
|
|
|
<string>Ignore modifications</string>
|
|
|
|
</property>
|
|
|
|
</item>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item row="0" column="1">
|
|
|
|
<spacer name="horizontalSpacer_2">
|
|
|
|
<property name="orientation">
|
|
|
|
<enum>Qt::Horizontal</enum>
|
|
|
|
</property>
|
|
|
|
<property name="sizeHint" stdset="0">
|
|
|
|
<size>
|
|
|
|
<width>132</width>
|
|
|
|
<height>20</height>
|
|
|
|
</size>
|
2010-02-01 15:10:06 +01:00
|
|
|
</property>
|
2010-06-01 10:07:53 +02:00
|
|
|
</spacer>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
2010-02-01 15:10:06 +01:00
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<spacer name="verticalSpacer">
|
|
|
|
<property name="orientation">
|
|
|
|
<enum>Qt::Vertical</enum>
|
|
|
|
</property>
|
|
|
|
<property name="sizeHint" stdset="0">
|
|
|
|
<size>
|
|
|
|
<width>20</width>
|
|
|
|
<height>111</height>
|
|
|
|
</size>
|
|
|
|
</property>
|
|
|
|
</spacer>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
<customwidgets>
|
|
|
|
<customwidget>
|
|
|
|
<class>Utils::QtColorButton</class>
|
|
|
|
<extends>QToolButton</extends>
|
2010-06-01 10:07:53 +02:00
|
|
|
<header>utils/qtcolorbutton.h</header>
|
2010-02-01 15:10:06 +01:00
|
|
|
</customwidget>
|
|
|
|
</customwidgets>
|
2010-06-01 10:07:53 +02:00
|
|
|
<resources/>
|
2010-02-01 15:10:06 +01:00
|
|
|
<connections/>
|
|
|
|
</ui>
|