Preferences/ConfigurationPages/ShellPage.ui

changeset 2640
dedcd4f987e0
parent 2102
a9218946b0bd
child 5798
e4f9552f7f93
--- a/Preferences/ConfigurationPages/ShellPage.ui	Sun Apr 28 15:38:35 2013 +0200
+++ b/Preferences/ConfigurationPages/ShellPage.ui	Wed May 01 14:47:38 2013 +0200
@@ -6,7 +6,7 @@
    <rect>
     <x>0</x>
     <y>0</y>
-    <width>585</width>
+    <width>587</width>
     <height>538</height>
    </rect>
   </property>
@@ -32,55 +32,6 @@
     </widget>
    </item>
    <item>
-    <layout class="QHBoxLayout">
-     <item>
-      <widget class="QLabel" name="TextLabel13_2_2_2_2">
-       <property name="text">
-        <string>Linenumbers width:</string>
-       </property>
-      </widget>
-     </item>
-     <item>
-      <widget class="QSlider" name="shellLinenowidthSlider">
-       <property name="toolTip">
-        <string>Move to set the width of the linenumbers margin.</string>
-       </property>
-       <property name="minimum">
-        <number>2</number>
-       </property>
-       <property name="maximum">
-        <number>8</number>
-       </property>
-       <property name="value">
-        <number>2</number>
-       </property>
-       <property name="orientation">
-        <enum>Qt::Horizontal</enum>
-       </property>
-       <property name="tickInterval">
-        <number>1</number>
-       </property>
-      </widget>
-     </item>
-     <item>
-      <widget class="QLCDNumber" name="shellLinenowidthLCD">
-       <property name="toolTip">
-        <string>Displays the selected width of the linenumbers margin.</string>
-       </property>
-       <property name="digitCount">
-        <number>1</number>
-       </property>
-       <property name="segmentStyle">
-        <enum>QLCDNumber::Flat</enum>
-       </property>
-       <property name="value" stdset="0">
-        <double>2.000000000000000</double>
-       </property>
-      </widget>
-     </item>
-    </layout>
-   </item>
-   <item>
     <layout class="QGridLayout">
      <item row="0" column="0">
       <widget class="QCheckBox" name="shellLinenoCheckBox">
@@ -283,7 +234,6 @@
   </layout>
  </widget>
  <tabstops>
-  <tabstop>shellLinenowidthSlider</tabstop>
   <tabstop>shellLinenoCheckBox</tabstop>
   <tabstop>shellACEnabledCheckBox</tabstop>
   <tabstop>shellSyntaxHighlightingCheckBox</tabstop>
@@ -292,22 +242,5 @@
   <tabstop>shellHistorySpinBox</tabstop>
  </tabstops>
  <resources/>
- <connections>
-  <connection>
-   <sender>shellLinenowidthSlider</sender>
-   <signal>valueChanged(int)</signal>
-   <receiver>shellLinenowidthLCD</receiver>
-   <slot>display(int)</slot>
-   <hints>
-    <hint type="sourcelabel">
-     <x>209</x>
-     <y>74</y>
-    </hint>
-    <hint type="destinationlabel">
-     <x>366</x>
-     <y>73</y>
-    </hint>
-   </hints>
-  </connection>
- </connections>
+ <connections/>
 </ui>

eric ide

mercurial