Preferences/ConfigurationPages/EditorDocViewerPage.ui

changeset 6505
470d878cbe9f
parent 5919
d0de2b378b24
child 6559
1265efa7364f
diff -r 154eda18e9b1 -r 470d878cbe9f Preferences/ConfigurationPages/EditorDocViewerPage.ui
--- a/Preferences/ConfigurationPages/EditorDocViewerPage.ui	Sun Sep 16 19:13:30 2018 +0200
+++ b/Preferences/ConfigurationPages/EditorDocViewerPage.ui	Mon Sep 17 19:25:49 2018 +0200
@@ -54,16 +54,6 @@
        </widget>
       </item>
       <item>
-       <widget class="QCheckBox" name="richTextCheckBox">
-        <property name="toolTip">
-         <string>Select to show code documentation as rich text</string>
-        </property>
-        <property name="text">
-         <string>Show documentation as rich text</string>
-        </property>
-       </widget>
-      </item>
-      <item>
        <layout class="QHBoxLayout" name="horizontalLayout">
         <item>
          <widget class="QLabel" name="label">
@@ -111,7 +101,6 @@
  <tabstops>
   <tabstop>viewerGroupBox</tabstop>
   <tabstop>parenthesisCheckBox</tabstop>
-  <tabstop>richTextCheckBox</tabstop>
   <tabstop>providerComboBox</tabstop>
  </tabstops>
  <resources/>

eric ide

mercurial