eric6/Preferences/ConfigurationPages/InterfacePage.ui

changeset 6987
3371a03ed0a7
parent 6942
2602857055c5
child 6998
a63ca2373f44
--- a/eric6/Preferences/ConfigurationPages/InterfacePage.ui	Wed May 01 17:29:21 2019 +0200
+++ b/eric6/Preferences/ConfigurationPages/InterfacePage.ui	Thu May 02 19:07:48 2019 +0200
@@ -197,131 +197,6 @@
     </layout>
    </item>
    <item>
-    <widget class="QGroupBox" name="groupBox">
-     <property name="title">
-      <string>Dockarea Corner Usage</string>
-     </property>
-     <layout class="QGridLayout">
-      <item row="0" column="0">
-       <widget class="QGroupBox" name="groupBox_2">
-        <property name="title">
-         <string>Top Left Corner</string>
-        </property>
-        <layout class="QVBoxLayout">
-         <item>
-          <widget class="QRadioButton" name="tlTopButton">
-           <property name="toolTip">
-            <string>Select to assign the top left corner to the top dockarea</string>
-           </property>
-           <property name="text">
-            <string>Top dockarea</string>
-           </property>
-          </widget>
-         </item>
-         <item>
-          <widget class="QRadioButton" name="tlLeftButton">
-           <property name="toolTip">
-            <string>Select to assign the top left corner to the left dockarea</string>
-           </property>
-           <property name="text">
-            <string>Left dockarea</string>
-           </property>
-          </widget>
-         </item>
-        </layout>
-       </widget>
-      </item>
-      <item row="0" column="1">
-       <widget class="QGroupBox" name="groupBox_5">
-        <property name="title">
-         <string>Top Right Corner</string>
-        </property>
-        <layout class="QVBoxLayout">
-         <item>
-          <widget class="QRadioButton" name="trTopButton">
-           <property name="toolTip">
-            <string>Select to assign the top right corner to the top dockarea</string>
-           </property>
-           <property name="text">
-            <string>Top dockarea</string>
-           </property>
-          </widget>
-         </item>
-         <item>
-          <widget class="QRadioButton" name="trRightButton">
-           <property name="toolTip">
-            <string>Select to assign the top right corner to the right dockarea</string>
-           </property>
-           <property name="text">
-            <string>Right dockarea</string>
-           </property>
-          </widget>
-         </item>
-        </layout>
-       </widget>
-      </item>
-      <item row="1" column="0">
-       <widget class="QGroupBox" name="groupBox_6">
-        <property name="title">
-         <string>Bottom Left Corner</string>
-        </property>
-        <layout class="QVBoxLayout">
-         <item>
-          <widget class="QRadioButton" name="blBottomButton">
-           <property name="toolTip">
-            <string>Select to assign the bottom left corner to the bottom dockarea</string>
-           </property>
-           <property name="text">
-            <string>Bottom dockarea</string>
-           </property>
-          </widget>
-         </item>
-         <item>
-          <widget class="QRadioButton" name="blLeftButton">
-           <property name="toolTip">
-            <string>Select to assign the bottom left corner to the left dockarea</string>
-           </property>
-           <property name="text">
-            <string>Left dockarea</string>
-           </property>
-          </widget>
-         </item>
-        </layout>
-       </widget>
-      </item>
-      <item row="1" column="1">
-       <widget class="QGroupBox" name="groupBox_7">
-        <property name="title">
-         <string>Bottom Right Corner</string>
-        </property>
-        <layout class="QVBoxLayout">
-         <item>
-          <widget class="QRadioButton" name="brTopButton">
-           <property name="toolTip">
-            <string>Select to assign the bottom right corner to the bottom dockarea</string>
-           </property>
-           <property name="text">
-            <string>Bottom dockarea</string>
-           </property>
-          </widget>
-         </item>
-         <item>
-          <widget class="QRadioButton" name="brRightButton">
-           <property name="toolTip">
-            <string>Select to assign the bottom right corner to the right dockarea</string>
-           </property>
-           <property name="text">
-            <string>Right dockarea</string>
-           </property>
-          </widget>
-         </item>
-        </layout>
-       </widget>
-      </item>
-     </layout>
-    </widget>
-   </item>
-   <item>
     <widget class="QGroupBox" name="groupBox_8">
      <property name="title">
       <string>Sidebars</string>
@@ -637,14 +512,6 @@
   <tabstop>filenameLengthSpinBox</tabstop>
   <tabstop>styleComboBox</tabstop>
   <tabstop>styleSheetPicker</tabstop>
-  <tabstop>tlTopButton</tabstop>
-  <tabstop>tlLeftButton</tabstop>
-  <tabstop>trTopButton</tabstop>
-  <tabstop>trRightButton</tabstop>
-  <tabstop>blBottomButton</tabstop>
-  <tabstop>blLeftButton</tabstop>
-  <tabstop>brTopButton</tabstop>
-  <tabstop>brRightButton</tabstop>
   <tabstop>delaySpinBox</tabstop>
   <tabstop>languageComboBox</tabstop>
   <tabstop>layoutComboBox</tabstop>

eric ide

mercurial