--- a/Preferences/ConfigurationPages/EditorGeneralPage.ui Thu Oct 04 19:28:49 2012 +0200
+++ b/Preferences/ConfigurationPages/EditorGeneralPage.ui Sat Oct 06 13:03:28 2012 +0200
@@ -1,7 +1,8 @@
-<ui version="4.0" >
+<?xml version="1.0" encoding="UTF-8"?>
+<ui version="4.0">
<class>EditorGeneralPage</class>
- <widget class="QWidget" name="EditorGeneralPage" >
- <property name="geometry" >
+ <widget class="QWidget" name="EditorGeneralPage">
+ <property name="geometry">
<rect>
<x>0</x>
<y>0</y>
@@ -9,127 +10,127 @@
<height>593</height>
</rect>
</property>
- <layout class="QVBoxLayout" name="verticalLayout" >
+ <layout class="QVBoxLayout" name="verticalLayout">
<item>
- <widget class="QLabel" name="headerLabel" >
- <property name="text" >
- <string><b>Configure general editor settings</b></string>
+ <widget class="QLabel" name="headerLabel">
+ <property name="text">
+ <string><b>Configure general editor settings</b></string>
</property>
</widget>
</item>
<item>
- <widget class="Line" name="line2" >
- <property name="frameShape" >
+ <widget class="Line" name="line2">
+ <property name="frameShape">
<enum>QFrame::HLine</enum>
</property>
- <property name="frameShadow" >
+ <property name="frameShadow">
<enum>QFrame::Sunken</enum>
</property>
- <property name="orientation" >
+ <property name="orientation">
<enum>Qt::Horizontal</enum>
</property>
</widget>
</item>
<item>
- <widget class="QGroupBox" name="groupBox_5" >
- <property name="title" >
+ <widget class="QGroupBox" name="groupBox_5">
+ <property name="title">
<string>Tabs && Indentation</string>
</property>
- <layout class="QVBoxLayout" >
+ <layout class="QVBoxLayout">
<item>
- <layout class="QGridLayout" >
- <item row="0" column="0" >
- <widget class="QLabel" name="TextLabel13_3" >
- <property name="text" >
+ <layout class="QGridLayout">
+ <item row="0" column="0">
+ <widget class="QLabel" name="TextLabel13_3">
+ <property name="text">
<string>Tab width:</string>
</property>
- <property name="buddy" >
+ <property name="buddy">
<cstring>tabwidthSlider</cstring>
</property>
</widget>
</item>
- <item row="0" column="1" >
- <widget class="QSlider" name="tabwidthSlider" >
- <property name="toolTip" >
+ <item row="0" column="1">
+ <widget class="QSlider" name="tabwidthSlider">
+ <property name="toolTip">
<string>Move to set the tab width.</string>
</property>
- <property name="minimum" >
+ <property name="minimum">
<number>1</number>
</property>
- <property name="maximum" >
+ <property name="maximum">
<number>20</number>
</property>
- <property name="value" >
+ <property name="value">
<number>4</number>
</property>
- <property name="orientation" >
+ <property name="orientation">
<enum>Qt::Horizontal</enum>
</property>
- <property name="tickInterval" >
+ <property name="tickInterval">
<number>1</number>
</property>
</widget>
</item>
- <item row="0" column="2" >
- <widget class="QLCDNumber" name="tabwidthLCD" >
- <property name="toolTip" >
+ <item row="0" column="2">
+ <widget class="QLCDNumber" name="tabwidthLCD">
+ <property name="toolTip">
<string>Displays the selected tab width.</string>
</property>
- <property name="numDigits" >
+ <property name="digitCount">
<number>2</number>
</property>
- <property name="segmentStyle" >
+ <property name="segmentStyle">
<enum>QLCDNumber::Flat</enum>
</property>
- <property name="value" stdset="0" >
+ <property name="value" stdset="0">
<double>4.000000000000000</double>
</property>
</widget>
</item>
- <item row="1" column="0" >
- <widget class="QLabel" name="TextLabel13_2_3" >
- <property name="text" >
+ <item row="1" column="0">
+ <widget class="QLabel" name="TextLabel13_2_3">
+ <property name="text">
<string>Indentation width:</string>
</property>
- <property name="buddy" >
+ <property name="buddy">
<cstring>indentwidthSlider</cstring>
</property>
</widget>
</item>
- <item row="1" column="1" >
- <widget class="QSlider" name="indentwidthSlider" >
- <property name="toolTip" >
+ <item row="1" column="1">
+ <widget class="QSlider" name="indentwidthSlider">
+ <property name="toolTip">
<string>Move to set the indentation width.</string>
</property>
- <property name="minimum" >
+ <property name="minimum">
<number>1</number>
</property>
- <property name="maximum" >
+ <property name="maximum">
<number>20</number>
</property>
- <property name="value" >
+ <property name="value">
<number>4</number>
</property>
- <property name="orientation" >
+ <property name="orientation">
<enum>Qt::Horizontal</enum>
</property>
- <property name="tickInterval" >
+ <property name="tickInterval">
<number>1</number>
</property>
</widget>
</item>
- <item row="1" column="2" >
- <widget class="QLCDNumber" name="indentwidthLCD" >
- <property name="toolTip" >
+ <item row="1" column="2">
+ <widget class="QLCDNumber" name="indentwidthLCD">
+ <property name="toolTip">
<string>Displays the selected indentation width.</string>
</property>
- <property name="numDigits" >
+ <property name="digitCount">
<number>2</number>
</property>
- <property name="segmentStyle" >
+ <property name="segmentStyle">
<enum>QLCDNumber::Flat</enum>
</property>
- <property name="value" stdset="0" >
+ <property name="value" stdset="0">
<double>4.000000000000000</double>
</property>
</widget>
@@ -137,53 +138,53 @@
</layout>
</item>
<item>
- <layout class="QGridLayout" >
- <item row="0" column="0" >
- <widget class="QCheckBox" name="indentguidesCheckBox" >
- <property name="toolTip" >
+ <layout class="QGridLayout">
+ <item row="0" column="0">
+ <widget class="QCheckBox" name="indentguidesCheckBox">
+ <property name="toolTip">
<string>Select whether indentation guides should be shown.</string>
</property>
- <property name="text" >
+ <property name="text">
<string>Show Indentation Guides</string>
</property>
</widget>
</item>
- <item row="0" column="1" >
- <widget class="QCheckBox" name="tabforindentationCheckBox" >
- <property name="toolTip" >
+ <item row="0" column="1">
+ <widget class="QCheckBox" name="tabforindentationCheckBox">
+ <property name="toolTip">
<string>Select whether tab characters are used for indentations.</string>
</property>
- <property name="text" >
+ <property name="text">
<string>Use tabs for indentations</string>
</property>
</widget>
</item>
- <item row="1" column="0" >
- <widget class="QCheckBox" name="autoindentCheckBox" >
- <property name="toolTip" >
+ <item row="1" column="0">
+ <widget class="QCheckBox" name="autoindentCheckBox">
+ <property name="toolTip">
<string>Select whether autoindentation shall be enabled</string>
</property>
- <property name="text" >
+ <property name="text">
<string>Auto indentation</string>
</property>
</widget>
</item>
- <item row="1" column="1" >
- <widget class="QCheckBox" name="converttabsCheckBox" >
- <property name="toolTip" >
+ <item row="1" column="1">
+ <widget class="QCheckBox" name="converttabsCheckBox">
+ <property name="toolTip">
<string>Select whether tabs shall be converted upon opening the file</string>
</property>
- <property name="text" >
+ <property name="text">
<string>Convert tabs upon open</string>
</property>
</widget>
</item>
- <item row="2" column="0" >
- <widget class="QCheckBox" name="tabindentsCheckBox" >
- <property name="toolTip" >
+ <item row="2" column="0">
+ <widget class="QCheckBox" name="tabindentsCheckBox">
+ <property name="toolTip">
<string>Select whether pressing the tab key indents.</string>
</property>
- <property name="text" >
+ <property name="text">
<string>Tab key indents</string>
</property>
</widget>
@@ -194,20 +195,20 @@
</widget>
</item>
<item>
- <widget class="QGroupBox" name="groupBox" >
- <property name="title" >
+ <widget class="QGroupBox" name="groupBox">
+ <property name="title">
<string>Comments</string>
</property>
- <layout class="QGridLayout" name="gridLayout" >
- <item row="0" column="0" >
- <widget class="QCheckBox" name="comment0CheckBox" >
- <property name="toolTip" >
+ <layout class="QGridLayout" name="gridLayout">
+ <item row="0" column="0">
+ <widget class="QCheckBox" name="comment0CheckBox">
+ <property name="toolTip">
<string>Select to insert the comment sign at column 0</string>
</property>
- <property name="whatsThis" >
- <string><b>Insert comment at column 0</b><p>Select to insert the comment sign at column 0. Otherwise, the comment sign is inserted at the first non-whitespace position.</p></string>
+ <property name="whatsThis">
+ <string><b>Insert comment at column 0</b><p>Select to insert the comment sign at column 0. Otherwise, the comment sign is inserted at the first non-whitespace position.</p></string>
</property>
- <property name="text" >
+ <property name="text">
<string>Insert comment at column 0</string>
</property>
</widget>
@@ -217,10 +218,10 @@
</item>
<item>
<spacer>
- <property name="orientation" >
+ <property name="orientation">
<enum>Qt::Vertical</enum>
</property>
- <property name="sizeHint" stdset="0" >
+ <property name="sizeHint" stdset="0">
<size>
<width>535</width>
<height>101</height>
@@ -247,11 +248,11 @@
<receiver>tabwidthLCD</receiver>
<slot>display(int)</slot>
<hints>
- <hint type="sourcelabel" >
+ <hint type="sourcelabel">
<x>384</x>
<y>81</y>
</hint>
- <hint type="destinationlabel" >
+ <hint type="destinationlabel">
<x>415</x>
<y>82</y>
</hint>
@@ -263,11 +264,11 @@
<receiver>indentwidthLCD</receiver>
<slot>display(int)</slot>
<hints>
- <hint type="sourcelabel" >
+ <hint type="sourcelabel">
<x>384</x>
<y>110</y>
</hint>
- <hint type="destinationlabel" >
+ <hint type="destinationlabel">
<x>410</x>
<y>110</y>
</hint>
